about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2025-09-12Introduce hir::ImplItemImplKindCameron Steffen-16/+10
2025-09-12Rename AssocItemContainer -> AssocContainerCameron Steffen-12/+12
2025-09-12Introduce trait_item_ofCameron Steffen-0/+9
2025-09-12Auto merge of #146329 - lcnr:opaque-type-infer-alias-candidates, r=BoxyUwUbors-1/+5
2025-09-12Auto merge of #146328 - zetanumbers:fix-141951, r=lcnrbors-4/+1
2025-09-11incompletely prefer opaque type bounds when self type bottoms out in inferMichael Goulet-1/+5
2025-09-09Auto merge of #145717 - BoxyUwU:erase_regions_rename, r=lcnrbors-28/+32
2025-09-09Driveby fixesBoxy-3/+2
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-27/+32
2025-09-08fixup limit handling codeJana Dönszelmann-4/+6
2025-09-08Rollup merge of #146313 - nnethercote:rustc_middle-ty-cleanups-2, r=lcnrMatthias Krüger-81/+3
2025-09-08Rollup merge of #146111 - ChayimFriedman2:more-ns-specific-defid, r=lcnrMatthias Krüger-1/+27
2025-09-08Skip typeck for items w/o their own typeck contextDaria Sukhonina-4/+1
2025-09-08Move `describe_as_module` from `rustc_middle::print` to `rustc:middle::query`.Nicholas Nethercote-11/+1
2025-09-08Move `rustc_middle::MaxUniverse` to `rustc_infer`.Nicholas Nethercote-40/+0
2025-09-08Make some matches non-exhaustive.Nicholas Nethercote-30/+2
2025-09-05rustc_middle: clippy fixesMarijn Schouten-8/+2
2025-09-04Rollup merge of #146182 - ChayimFriedman2:ns-probe, r=jackh726Jacob Pratt-2/+2
2025-09-04Rollup merge of #145342 - dianne:if-let-super-let, r=nnethercoteStuart Cook-35/+2
2025-09-04Don't require next-solver `ProbeRef` to be `Copy`Chayim Refael Friedman-2/+2
2025-09-02Auto merge of #146125 - GuillaumeGomez:rollup-ld81n7e, r=GuillaumeGomezbors-1/+1
2025-09-02Migrate more things in the new solver to specific `DefId`sChayim Refael Friedman-1/+27
2025-09-01Remove dead code stemming from an old effects desugaringLeón Orell Valerian Liehr-1/+1
2025-08-29cleanup proof tree implementation and add cachelcnr-2/+13
2025-08-29Auto merge of #145377 - ChayimFriedman2:solver-def-id, r=lcnrbors-22/+48
2025-08-27Auto merge of #144841 - cjgillot:typeck-no-attrs, r=davidtwcobors-0/+7
2025-08-25Switch next solver to use a specific associated type for trait def idChayim Refael Friedman-22/+48
2025-08-25fold regions, don't eraselcnr-3/+4
2025-08-24Support lints in early attribute parsingJana Dönszelmann-0/+2
2025-08-23Auto merge of #145796 - samueltardieu:rollup-linfi86, r=samueltardieubors-2/+5
2025-08-23Rollup merge of #145713 - lcnr:const-trait-bootstrap, r=compiler-errorsSamuel Tardieu-2/+5
2025-08-23Auto merge of #145706 - lcnr:uniquification, r=BoxyUwUbors-0/+11
2025-08-23Auto merge of #145773 - jhpratt:rollup-kocqnzv, r=jhprattbors-2/+1
2025-08-22Separate transmute checking from typeck.Camille Gillot-0/+6
2025-08-22change HIR typeck unification handling approachlcnr-0/+11
2025-08-22Refactor lint buffering to avoid requiring a giant enumJosh Triplett-2/+1
2025-08-21next-solver fix const_trait_impl bootstraplcnr-2/+5
2025-08-20Move `IntoDiagArg` earlier in the dependency chainsJosh Triplett-2/+2
2025-08-20Rollup merge of #145623 - compiler-errors:pretty-async-name, r=wesleywiserJacob Pratt-3/+13
2025-08-19Pretty print the name of an future from calling async closureMichael Goulet-3/+13
2025-08-19Rollup merge of #145338 - lcnr:coroutine-witness-yikes, r=compiler-errors许杰友 Jieyou Xu (Joe)-2/+38
2025-08-17Auto merge of #145284 - nnethercote:type_name-print-regions, r=lcnrbors-7/+7
2025-08-15Auto merge of #144591 - RalfJung:pattern-valtrees, r=BoxyUwUbors-9/+19
2025-08-14Print regions in `type_name`.Nicholas Nethercote-7/+7
2025-08-14Rollup merge of #145266 - camsteffen:reduce-queries, r=petrochenkovGuillaume Gomez-5/+34
2025-08-14Apply suggestions from code reviewRalf Jung-1/+1
2025-08-14avoid unnecessary type sanity checksRalf Jung-8/+4
2025-08-14use ty::Value instead of manual pairs of types and valtreesRalf Jung-4/+10
2025-08-14pattern testing: store constants as valtreesRalf Jung-9/+17
2025-08-13Rollup merge of #144949 - nnethercote:more-Printer-cleanups, r=davidtwcoGuillaume Gomez-81/+110