about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-04-30Rollup merge of #140468 - BoxyUwU:normalization_confusings2, r=lcnrMatthias Krüger-31/+41
2025-04-30Use select in projection lookupMichael Goulet-20/+22
2025-04-30Rollup merge of #140516 - rperier:type-ir-to-type-middle, r=lcnrMatthias Krüger-25/+20
2025-04-30Use less rustc_type_ir in the compiler codebaseRomain Perier-25/+20
2025-04-30Rollup merge of #140445 - oli-obk:const-manually-drop, r=fee1-deadMatthias Krüger-0/+3
2025-04-29confusingsBoxy-31/+41
2025-04-29Rollup merge of #139909 - oli-obk:or-patterns, r=BoxyUwUTrevor Gross-37/+47
2025-04-29Treat `ManuallyDrop` as `~const Destruct`Oli Scherer-0/+3
2025-04-29Also match on the lang item in confirmationOli Scherer-10/+5
2025-04-29Always check the lang item firstOli Scherer-16/+8
2025-04-29Replace if/elseif chain with matchOli Scherer-62/+81
2025-04-29Adjust testsMichael Goulet-1/+3
2025-04-29Wf is not coinductiveMichael Goulet-1/+4
2025-04-28Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomezbors-11/+11
2025-04-28Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obkGuillaume Gomez-11/+11
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-44/+0
2025-04-28Add or-patterns to pattern typesOli Scherer-0/+5
2025-04-28Split out various pattern type matches into their own functionOli Scherer-37/+42
2025-04-26Rollup merge of #140320 - lcnr:wf-use-term, r=compiler-errorsMatthias Krüger-107/+105
2025-04-26Rollup merge of #140318 - compiler-errors:specialized-async-fn-kind-err, r=fe...Matthias Krüger-31/+10
2025-04-26convert some `GenericArg` to `Term`lcnr-107/+105
2025-04-26Simply try to unpeel AsyncFnKindHelper goal in emit_specialized_closure_kind_...Michael Goulet-31/+10
2025-04-25Track per-obligation recursion depth only if there is inferenceMichael Goulet-8/+15
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