about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2025-09-08Only consider auto traits empty for the purposes of omitting vptrs from subtr...Zachary S-1/+6
2025-08-21Do not use effective_visibilities query for Adt types of a local trait while ...xizheyin-1/+1
2025-08-14Revert "Remove the witness type from coroutine args"lcnr-12/+6
2025-08-01Auto merge of #144458 - compiler-errors:no-witness-mini, r=lcnrbors-37/+52
2025-08-01Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnrbors-22/+24
2025-07-31Remove the witness type from coroutine argsMichael Goulet-6/+12
2025-07-31Extract borrowck coroutine drop-liveness hackMichael Goulet-2/+5
2025-07-31Stall coroutines based off of ty::Coroutine, not ty::CoroutineWitnessMichael Goulet-29/+35
2025-07-31Rollup merge of #144726 - jdonszelmann:move-attr-data-structures, r=lcnrJana Dönszelmann-2/+2
2025-07-31Rollup merge of #144702 - compiler-errors:stall-const-arg-has-type, r=lcnrJana Dönszelmann-0/+7
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-2/+2
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-22/+24
2025-07-31Rollup merge of #144713 - nnethercote:rustc_middle-ty-cleanups, r=lcnrStuart Cook-7/+20
2025-07-31Remove `ParamEnvAnd::into_parts`.Nicholas Nethercote-1/+1
2025-07-31Move `ImplHeader` out of `rustc_middle`.Nicholas Nethercote-6/+19
2025-07-31Auto merge of #144405 - lcnr:hir-typeck-uniquify, r=BoxyUwUbors-2/+27
2025-07-30stall ConstArgHasType in compute_goal_fast_pathMichael Goulet-0/+7
2025-07-30add comment and opaque type fixmelcnr-0/+11
2025-07-30handle region dependent goals due to infer varslcnr-1/+11
2025-07-29resuse eagerly resolved goal from previous iterationlcnr-1/+5
2025-07-28Rename trait_of_item -> trait_of_assocCameron Steffen-5/+5
2025-07-28use let chains in mir, resolve, targetKivooeo-142/+132
2025-07-20Consider param-env for fast pathMichael Goulet-19/+29
2025-07-18Auto merge of #143545 - compiler-errors:coroutine-obl, r=oli-obkbors-30/+104
2025-07-17Auto merge of #141762 - compiler-errors:witnesser, r=lcnrbors-31/+90
2025-07-17Eagerly unify coroutine witness in old solverMichael Goulet-12/+43
2025-07-17Unstall obligations by looking for coroutines in old solverMichael Goulet-15/+40
2025-07-17Check if type has coroutines before visitingMichael Goulet-4/+7
2025-07-17Auto merge of #143879 - fee1-dead-contrib:push-lrlpoouyqqry, r=fmeasebors-7/+7
2025-07-17parse `const trait Trait`Deadbeef-7/+7
2025-07-17Rollup merge of #143431 - xizheyin:143392, r=compiler-errorsMatthias Krüger-5/+15
2025-07-17Auto merge of #144044 - fmease:rollup-kg413pt, r=fmeasebors-5/+13
2025-07-17Rollup merge of #144016 - davidtwco:sized-hierarchy-temp-pseudo-revert, r=lcnrLeón Orell Valerian Liehr-0/+7
2025-07-17Use `join_path_syms` in one more place.Nicholas Nethercote-5/+6
2025-07-16trait_sel: `MetaSized` always holds temporarilyDavid Wood-0/+7
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-4/+2
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-27/+103
2025-07-15Implement other logicstiif-0/+37
2025-07-15Add the core logic in old and new solverstiif-2/+19
2025-07-14Rollup merge of #143901 - compiler-errors:region-constraint-nits, r=lcnrSamuel Tardieu-11/+2
2025-07-13Simplify make_query_region_constraintsMichael Goulet-11/+2
2025-07-13Retire hir::*ItemRef.Camille GILLOT-13/+7
2025-07-13Remove hir::AssocItemKind.Camille GILLOT-43/+21
2025-07-13Auto merge of #140717 - mejrs:diagnostic_lints, r=oli-obkbors-11/+13
2025-07-11Auto merge of #142911 - mejrs:unsized, r=compiler-errorsbors-0/+6
2025-07-10Rollup merge of #143742 - estebank:borrow-suggestion, r=compiler-errorsTrevor Gross-103/+125
2025-07-11Split up the `unknown_or_malformed_diagnostic_attributes` lintmejrs-11/+13
2025-07-10Rollup merge of #143640 - oli-obk:const-fn-traits, r=compiler-errorsMatthias Krüger-1/+50
2025-07-10Rework borrowing suggestions to use `Expr` instead of just `Span`Esteban Küber-103/+125
2025-07-09Auto merge of #143538 - compiler-errors:instantiate-auto-trait, r=lcnrbors-212/+245