summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-05-22Do not call name() on rpitit assoc_itemSantiago Pastorino-10/+13
2025-05-08Rollup merge of #140736 - xizheyin:issue-140166, r=petrochenkovMatthias Krüger-0/+6
2025-05-08Rollup merge of #140711 - compiler-errors:combine-maybes, r=lcnrMatthias Krüger-2/+8
2025-05-08Rollup merge of #140641 - lcnr:opaque-type-storage-entries, r=compiler-errorsMatthias Krüger-47/+0
2025-05-07opaque_type_storage to InferCtxtLikelcnr-47/+0
2025-05-07Use MaybeCause::or to allow constraints from overflows if they are combined w...Michael Goulet-2/+8
2025-05-07Require T: TypeFoldable in Binder<T> visitMichael Goulet-2/+2
2025-05-07Check `&` before suggest remove deref when trait_selectionxizheyin-0/+6
2025-05-07Auto merge of #137995 - hkBst:parse_format_reuse_unescape, r=nnethercotebors-9/+8
2025-05-06support duplicates in the opaque_types_storagelcnr-5/+32
2025-05-06Remove duplicate impl of string unescapeMarijn Schouten-9/+8
2025-05-05Rollup merge of #140605 - lcnr:defer-opaque-type-error, r=compiler-errorsGuillaume Gomez-29/+54
2025-05-05Rollup merge of #140559 - rperier:type-ir-to-type-middle, r=compiler-errorsGuillaume Gomez-3/+3
2025-05-05Rollup merge of #140307 - mejrs:condition_parser, r=nnethercoteTrevor Gross-104/+323
2025-05-04Auto merge of #140549 - BoxyUwU:proper_const_norm, r=lcnrbors-255/+324
2025-05-03`fn check_opaque_type_parameter_valid` defer errorlcnr-29/+54
2025-05-02Refactor rustc_on_unimplemented's filter parsermejrs-104/+323
2025-05-02Rollup merge of #140519 - compiler-errors:name-based-comparison, r=oli-obkMatthias Krüger-20/+22
2025-05-02Use less rustc_type_ir in the compiler codebaseRomain Perier-3/+3
2025-05-01Set groundwork for proper const normalizationBoxy-159/+230
2025-05-01No-op split into sub functionsBoxy-164/+162
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-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