about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-04-25Rollup merge of #140278 - compiler-errors:name-based-comparison, r=nnethercoteMatthias Krüger-7/+5
2025-04-25Rollup merge of #140202 - est31:let_chains_feature_compiler, r=lcnrMatthias Krüger-1/+1
2025-04-25Don't use item name to look up associated item from trait itemMichael Goulet-7/+5
2025-04-24Auto merge of #140245 - matthiaskrgr:rollup-e0fwsfv, r=matthiaskrgrbors-33/+48
2025-04-24Remove `weak` alias terminologyBoxy-11/+11
2025-04-24Rollup merge of #140214 - compiler-errors:remove-hack, r=lcnrMatthias Krüger-2/+0
2025-04-24Rollup merge of #140186 - BoxyUwU:compute_what, r=compiler-errorsMatthias Krüger-31/+48
2025-04-24Rollup merge of #140232 - nnethercote:rm-unnecessary-clones, r=SparrowLiiMatthias Krüger-2/+1
2025-04-24Rollup merge of #139945 - shepmaster:hir-lifetime-syntax-source, r=nnethercoteMatthias Krüger-20/+7
2025-04-24Remove some unnecessary clones.Nicholas Nethercote-2/+1
2025-04-23Auto merge of #138845 - compiler-errors:stall-generators, r=lcnrbors-47/+197
2025-04-23Extend HIR to track the source and syntax of a lifetimeJake Goulding-20/+7
2025-04-23Remove hackMichael Goulet-2/+0
2025-04-23Use the new solver in the impossible_predicatesMichael Goulet-9/+5
2025-04-23MoreMichael Goulet-31/+62
2025-04-23Make #![feature(let_chains)] bootstrap conditional in compiler/est31-1/+1
2025-04-23Module docsBoxy-0/+5
2025-04-23Rename `compute_x` methodsBoxy-31/+43
2025-04-22Consider Copy/Clone tooMichael Goulet-1/+1
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-38/+122
2025-04-22Collect and resolve ambiguous obligations from normalizing in writebackMichael Goulet-3/+38
2025-04-22Use `is_lang_item` and `as_lang_item` instead of handrolling their logicOli Scherer-137/+130
2025-04-21Rollup merge of #140021 - compiler-errors:no-deep-norm-ice, r=lcnrChris Denton-1/+9
2025-04-19Don't ICE on pending obligations from deep normalization in a loopMichael Goulet-1/+9
2025-04-19Rollup merge of #139091 - mejrs:format, r=compiler-errorsChris Denton-368/+789
2025-04-17Rollup merge of #139774 - compiler-errors:supertrait-alias, r=lcnrMatthias Krüger-4/+6
2025-04-17Auto merge of #139949 - matthiaskrgr:rollup-pxc5tsx, r=matthiaskrgrbors-68/+20
2025-04-16Move eager translation to a method on `Diag`Jake Goulding-68/+20
2025-04-16Fix replacing supertrait aliases in ReplaceProjectionWithMichael Goulet-4/+6
2025-04-16Rename `LifetimeName` as `LifetimeKind`.Nicholas Nethercote-7/+7
2025-04-15Auto merge of #139845 - Zalathar:rollup-u5u5y1v, r=Zalatharbors-55/+62
2025-04-15Rollup merge of #139669 - nnethercote:overhaul-AssocItem, r=oli-obkStuart Cook-55/+62
2025-04-15Auto merge of #139826 - matthiaskrgr:rollup-0q0qvkd, r=matthiaskrgrbors-19/+8
2025-04-15Move `name` field from `AssocItem` to `AssocKind` variants.Nicholas Nethercote-32/+39
2025-04-15Move two methods from `AssocKind` to `AssocItem`.Nicholas Nethercote-1/+1
2025-04-15Move `opt_rpitit_info` field to `hir::AssocKind::Type`.Nicholas Nethercote-10/+10
2025-04-14Auto merge of #139577 - davidtwco:sizedness-go-vroom, r=oli-obkbors-15/+35
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-19/+8
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-14/+14
2025-04-14Raise errors on bad rustc_on_unimplemented format strings againmejrs-3/+35
2025-04-14Disable usage on trait impls and aliasesmejrs-4/+13
2025-04-14Documentation and finishing touchesmejrs-79/+196
2025-04-11`NonGenericOpaqueTypeParam::ty` to `arg`lcnr-2/+2
2025-04-11Rollup merge of #139564 - compiler-errors:deeply-norm, r=lcnrStuart Cook-48/+55
2025-04-11Rollup merge of #138998 - rperier:donot_suggest_to_use_impl_trait_in_closure_...Stuart Cook-6/+17
2025-04-10Deeply normalize obligations in BestObligationMichael Goulet-18/+33
2025-04-10SimplifyMichael Goulet-30/+22
2025-04-10Parse condition options into a structmejrs-165/+168
2025-04-10Write the format string parserand split it from conditions parsermejrs-280/+528
2025-04-10Rollup merge of #139510 - nnethercote:name-to-ident, r=fee1-deadMatthias Krüger-2/+2