about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2025-09-26predefined opaques to `method_autoderef_steps`lcnr-1/+10
2025-09-26predefined opaques use `List`lcnr-6/+5
2025-09-25Auto merge of #147019 - Zalathar:rollup-boxzbmo, r=Zalatharbors-0/+26
2025-09-25Rollup merge of #146667 - calebzulawski:simd-mono-lane-limit, r=lcnr,RalfJungStuart Cook-0/+26
2025-09-25Auto merge of #147003 - matthiaskrgr:rollup-b5z9uiz, r=matthiaskrgrbors-2/+1
2025-09-24Rollup merge of #146753 - tiif:unsatisfiable-unstable-feature, r=BoxyUwUMatthias Krüger-2/+1
2025-09-24Rollup merge of #146857 - tnuha:revert_self_has_no_region_infer, r=lcnrMatthias Krüger-1/+10
2025-09-24Improve the pretty print of UnstableFeature clausetiif-2/+1
2025-09-23Add an attribute to check the number of lanes in a SIMD vector after monomorp...Caleb Zulawski-0/+26
2025-09-23revert change removing `has_infer` check. Commit conservatively patches for n...ash-1/+10
2025-09-21Add panic=immediate-abortBen Kimock-4/+4
2025-09-18Rollup merge of #146597 - modhanami:add-struct-tail-recursion-limit-span, r=o...Matthias Krüger-5/+17
2025-09-18Rollup merge of #146694 - camsteffen:impl-subject, r=compiler-errorsStuart Cook-30/+0
2025-09-18Rollup merge of #146664 - fmease:clean-up-dyn, r=jdonszelmannStuart Cook-25/+19
2025-09-17Remove ImplSubjectCameron Steffen-30/+0
2025-09-17Remove `DynKind`León Orell Valerian Liehr-25/+19
2025-09-16Add span for struct tail recursion limit errorTawan Muadmuenwai-5/+17
2025-09-15remove FIXME from `has_significant_drop`, replaced with checking non_region_i...ash-8/+1
2025-09-12Don't store defaultness for inherent impl itemsCameron Steffen-1/+4
2025-09-12Split AssocContainer::{InherentImpl,TraitImpl}Cameron Steffen-47/+59
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