Matthias Krüger 1fe18a5dad Rollup merge of #104906 - spastorino:remove-ascribeusertypecx, r=compiler-errors ... Remove AscribeUserTypeCx r? ``@compiler-errors`` This basically inlines `AscribeUserTypeCx::relate_mir_and_user_ty` into `type_op_ascribe_user_type_with_span` which is the only place where it's used and makes direct use of `ObligationCtxt` API.		2022-11-26 10:39:12 +01:00
..
chalk	Introduce PredicateKind::Clause	2022-11-25 00:04:54 -03:00
dropck_outlives.rs	make dropck_outlives into a proper canonicalized type query	2022-11-09 22:58:39 +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	Introduce PredicateKind::Clause	2022-11-25 00:04:54 -03:00
lib.rs	(almost) Always use ObligationCtxt when dealing with canonical queries	2022-10-27 15:43:33 +00:00
normalize_erasing_regions.rs	Introduce PredicateKind::Clause	2022-11-25 00:04:54 -03: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	Define all clauses as dummy_with_span as the usages are all equivalent	2022-11-25 16:00:08 -03:00