about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-05-13Expect deep norm to fail if query norm failedMichael Goulet-5/+17
2025-05-13trait_sel: deep reject `match_normalize_trait_ref`David Wood-2/+8
2025-05-12Flush errors before deep normalize in dropck_outlivesMichael Goulet-0/+8
2025-05-12Fix typosomahs-1/+1
2025-05-12update cfg(bootstrap)Pietro Albini-1/+0
2025-05-09Disarm `time` bomb (diagnostics)Jieyou Xu-46/+2
2025-05-08normalization: avoid incompletely constraining GAT argslcnr-3/+4
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-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