about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-08-19Rollup merge of #145537 - zachs18:metasized-negative-bound-fix, r=davidtwco许杰友 Jieyou Xu (Joe)-3/+5
2025-08-19Rollup merge of #145338 - lcnr:coroutine-witness-yikes, r=compiler-errors许杰友 Jieyou Xu (Joe)-43/+18
2025-08-17Do not consider a `T: !Sized` candidate to satisfy a `T: !MetaSized` obligation.Zachary S-3/+5
2025-08-17Auto merge of #145284 - nnethercote:type_name-print-regions, r=lcnrbors-4/+4
2025-08-15Rollup merge of #145235 - compiler-errors:comment, r=BoxyUwUStuart Cook-27/+1
2025-08-15Rollup merge of #122661 - estebank:assert-macro-span, r=petrochenkovStuart Cook-4/+36
2025-08-14Print regions in `type_name`.Nicholas Nethercote-4/+4
2025-08-14Rollup merge of #145266 - camsteffen:reduce-queries, r=petrochenkovGuillaume Gomez-1/+1
2025-08-13Rollup merge of #144949 - nnethercote:more-Printer-cleanups, r=davidtwcoGuillaume Gomez-23/+22
2025-08-13Cleanup assoc parent utilsCameron Steffen-1/+1
2025-08-13`fn new_coroutine_witness_for_coroutine` woopslcnr-43/+18
2025-08-12Change the desugaring of `assert!` for better error outputEsteban Küber-4/+36
2025-08-11Propagate TraitImplHeader to hirCameron Steffen-4/+4
2025-08-11Rollup merge of #145194 - compiler-errors:coro-witness-re, r=lcnrStuart Cook-2/+15
2025-08-11Rollup merge of #144156 - compiler-errors:dtorck-upvars, r=lcnrStuart Cook-24/+50
2025-08-11Remove unnecessary UnsatisfiedConst reporting logicMichael Goulet-27/+1
2025-08-10Do not point at macro invocation when providing inference contextEsteban Küber-1/+1
2025-08-10Rollup merge of #145147 - fee1-dead-contrib:push-mxxpmlpmzmsz, r=compiler-errorsStuart Cook-1/+1
2025-08-10Ignore coroutine witness type region args in auto trait confirmationMichael Goulet-2/+15
2025-08-09Auto merge of #145146 - fee1-dead-contrib:push-zmqrkurlzrxy, r=nnethercotebors-1/+1
2025-08-09remove `P`Deadbeef-1/+1
2025-08-09rename `TraitRef::from_method` to `from_assoc`Deadbeef-1/+1
2025-08-09Rollup merge of #145134 - camsteffen:indirect-assoc-parent, r=cjgillotStuart Cook-2/+1
2025-08-08Reduce indirect assoc parent queriesCameron Steffen-2/+1
2025-08-08Check coroutine upvars and in dtorck constraintMichael Goulet-24/+50
2025-08-07Use `tcx.short_string()` in more diagnosticsEsteban Küber-133/+172
2025-08-06Rename some `Printer` methods.Nicholas Nethercote-6/+6
2025-08-05Simplify multiple things.Nicholas Nethercote-14/+13
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-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