about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-05-21Make captures state error more preciseMichael Goulet-7/+5
2025-05-21Don't evaluate constants depending on infers or paramsBoxy-42/+64
2025-05-21Introduce `tcx.anon_const_kind` queryBoxy-2/+7
2025-05-21Document why we allow escaping bound vars in LTA normBoxy-4/+13
2025-05-21Auto merge of #141345 - matthiaskrgr:rollup-vux7gok, r=matthiaskrgrbors-3/+15
2025-05-21Rollup merge of #141334 - lcnr:coerce-nested-obligations, r=compiler-errorsMatthias Krüger-0/+14
2025-05-21Rollup merge of #141332 - compiler-errors:no-fold-const, r=lcnrMatthias Krüger-3/+1
2025-05-21Auto merge of #140386 - oli-obk:match-on-lang-item-kind, r=compiler-errorsbors-85/+91
2025-05-21eagerly check nested obligations when coercing fndefslcnr-0/+14
2025-05-21Do not eagerly fold consts in normalize_param_env_or_error if new solverMichael Goulet-3/+1
2025-05-20Do not call name() on rpitit assoc_itemSantiago Pastorino-10/+13
2025-05-20Querify coroutine_hidden_typesMichael Goulet-1/+1
2025-05-18Fast path for sized predMichael Goulet-0/+16
2025-05-18Fast path for processing some obligations in the new solverMichael Goulet-3/+44
2025-05-17Rollup merge of #141121 - compiler-errors:ambig-is-not-err, r=lcnrMatthias Krüger-2/+8
2025-05-17do away with `_Self` and `TraitName` and check generic params for rustc_on_un...mejrs-87/+47
2025-05-17Only select true errors in impossible_predicatesMichael Goulet-2/+8
2025-05-17Rollup merge of #140208 - compiler-errors:wf-coinductive, r=lcnrMatthias Krüger-1/+6
2025-05-16Auto merge of #140978 - davidtwco:deep-reject-in-match-norm-trait-ref, r=lcnrbors-2/+8
2025-05-15Rollup merge of #140947 - compiler-errors:pending-norm, r=lcnrMatthias Krüger-4/+24
2025-05-15Rollup merge of #140712 - lcnr:normalization-gat-args, r=compiler-errorsMatthias Krüger-3/+4
2025-05-15Auto merge of #136988 - compiler-errors:impossible_predicates, r=lcnrbors-9/+5
2025-05-13Auto merge of #140887 - pietroalbini:pa-bootstrap-update, r=compiler-errorsbors-1/+0
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