about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2023-07-03Implement selection in new trait solverMichael Goulet-1/+6
2023-07-03reviewlcnr-2/+13
2023-07-03`deeply_normalize` pass in fulfill cx for old solverlcnr-12/+15
2023-07-03use `deeply_normalize` for `assumed_wf_types`lcnr-10/+26
2023-07-03add deep normalization via the new solverlcnr-6/+56
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-79/+48
2023-06-29Auto merge of #113108 - compiler-errors:normalize-opaques-with-late-bound-var...bors-11/+2
2023-06-29change snapshot tracking in fulfillment contextslcnr-79/+48
2023-06-28convert to fluent, make plurals workMichael Goulet-10/+3
2023-06-28Do not suggest adjusting trait signature on type mismatchMichael Goulet-0/+4
2023-06-28reword message to be less vagueMichael Goulet-2/+2
2023-06-28Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnrDylan DPC-66/+43
2023-06-27Don't sort strings right after we just sorted by typesMichael Goulet-27/+31
2023-06-27Normalize opaques with escaping bound varsMichael Goulet-11/+2
2023-06-26TypeWellFormedInEnvMichael Goulet-13/+18
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-113/+79
2023-06-24use Const::eval instead of QueryNormalize in error reportingMichael Goulet-25/+23
2023-06-23Rollup merge of #112965 - compiler-errors:circular-wf, r=aliemjayMichael Goulet-2/+10
2023-06-23Rollup merge of #112870 - compiler-errors:clause-2, r=oli-obkMatthias Krüger-8/+6
2023-06-23Resolve vars when reporting WF errorMichael Goulet-0/+1
2023-06-23Don't emit same goal as input during wf obligationsMichael Goulet-2/+9
2023-06-22Avoid guessing unknown trait impl in suggestionsAlexander Zhang-6/+10
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-8/+6
2023-06-22Auto merge of #112686 - estebank:sealed-traits, r=petrochenkovbors-0/+26
2023-06-22Account for sealed traits in trait bound errorsEsteban Küber-0/+26
2023-06-21Don't substitute a GAT that has mismatched generics in OpaqueTypeCollectorMichael Goulet-45/+46
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-122/+131
2023-06-20yeet upcast_trait_def_id from ImplSourceObjectDataMichael Goulet-6/+2
2023-06-20yeet ImplSource::TraitAlias tooMichael Goulet-11/+7
2023-06-20Remove unnecessary call to select_from_obligationMichael Goulet-49/+34
2023-06-20Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnrbors-0/+8
2023-06-20Merge attrs, better validationMichael Goulet-0/+8
2023-06-19Rollup merge of #112783 - compiler-errors:nlb-fnptr-reject-ice, r=fee1-deadMatthias Krüger-5/+3
2023-06-19s/Clause/ClauseKindMichael Goulet-122/+131
2023-06-19Don't ICE on bound var in reject_fn_ptr_implsMichael Goulet-5/+3
2023-06-18Continue folding in query normalizer on weak aliasesMichael Goulet-2/+6
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-17/+19
2023-06-17Move WF goal to clauseMichael Goulet-18/+25
2023-06-17Remove even more redundant builtin candidatesMichael Goulet-15/+27
2023-06-17Simplify even more candidatesMichael Goulet-27/+36
2023-06-17Simplify an ObjectData fieldMichael Goulet-4/+8
2023-06-17Simplify some impl source candidatesMichael Goulet-19/+15
2023-06-17Remove some ImplSource candidatesMichael Goulet-19/+16
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-13/+70
2023-06-16fix: inline `predicate_may_hold_fatal`bohan-14/+6
2023-06-15Auto merge of #104455 - the8472:dont-drain-on-drop, r=Amanieubors-4/+4
2023-06-14Rollup merge of #112605 - compiler-errors:negative-docs, r=spastorinoMatthias Krüger-83/+85
2023-06-14Auto merge of #112400 - WaffleLapkin:vtable_stats, r=compiler-errorsbors-3/+3
2023-06-14Auto merge of #110662 - bryangarza:safe-transmute-reference-types, r=compiler...bors-21/+109
2023-06-14s/drain_filter/extract_if/ for Vec, Btree{Map,Set} and LinkedListThe 8472-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 20:08:29 +0000