bors 1623ab0246 Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnr ... Implement `deferred_projection_equality` for erica solver Somewhat of a revival of #96912. When relating projections now emit an `AliasEq` obligation instead of attempting to determine equality of projections that may not be as normalized as possible (i.e. because of lazy norm, or just containing inference variables that prevent us from resolving an impl). Only do this when the new solver is enabled		2023-02-11 05:46:24 +00:00
..
chalk	Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnr	2023-02-11 05:46:24 +00:00
codegen.rs	Separate trait selection from ambiguity reporting.	2023-01-27 18:57:10 +00:00
dropck_outlives.rs	Introduce GeneratorWitnessMIR.	2023-01-27 18:58:44 +00:00
evaluate_obligation.rs	Convert predicates into Predicate in the Obligation constructor	2022-11-16 09:25:19 +00:00
implied_outlives_bounds.rs	add AliasEq to PredicateKind	2023-02-10 13:44:46 +00:00
lib.rs	Update implied_outlives_bounds to properly register implied bounds behind normalization	2023-02-09 21:08:11 -05:00
normalize_erasing_regions.rs	add AliasEq to PredicateKind	2023-02-10 13:44:46 +00:00
normalize_projection_ty.rs	(almost) Always use ObligationCtxt when dealing with canonical queries	2022-10-27 15:43:33 +00:00
type_op.rs	fix: use LocalDefId instead of HirId in trait res	2023-01-23 11:42:18 +00:00