about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-08-22Add an experimental unsafe(force_target_feature) attribute.Luca Versari-1/+1
2025-08-21Auto merge of #145701 - jhpratt:rollup-a0kg33p, r=jhprattbors-5/+24
2025-08-21Rollup merge of #145642 - xizheyin:145611, r=lcnrJacob Pratt-1/+1
2025-08-21Rollup merge of #145627 - compiler-errors:const-supertrait-dyn-compat, r=fee1...Jacob Pratt-4/+23
2025-08-20Unconditionally-const supertraits are considered not dyn compatibleMichael Goulet-4/+23
2025-08-20Do not use effective_visibilities query for Adt types of a local trait while ...xizheyin-1/+1
2025-08-20handle opaque types before region inferencelcnr-0/+1
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