about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-08-05Rename most of the printers.Nicholas Nethercote-3/+3
2025-08-05Rollup merge of #144776 - nnethercote:Printer-cleanups, r=cjgillotSamuel Tardieu-42/+43
2025-08-04Suggest bounds in more cases, accounting for type parameters referenced in pr...Esteban Küber-10/+68
2025-08-04Rollup merge of #144694 - compiler-errors:with-self-ty, r=SparrowLiiStuart Cook-8/+9
2025-08-03Remove unused arg from `path_append_impl`.Nicholas Nethercote-1/+0
2025-08-03Rename `Printer` variables.Nicholas Nethercote-37/+36
2025-08-03Mark `Printer` methods as unreachable where appropriate.Nicholas Nethercote-4/+7
2025-08-03Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnrbors-4/+10
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-1/+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-1/+2
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-22/+24
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-4/+10
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-30Distinguish appending and replacing self ty in predicatesMichael Goulet-8/+9
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