Michael Goulet 7196973c3e Remove chalk lowering for AliasTy

2022-12-13 17:48:55 +00:00

..

chalk

Remove chalk lowering for AliasTy

2022-12-13 17:48:55 +00:00

codegen.rs

Move codegen_select_candidate to a rustc_traits

2022-12-08 05:16:57 +00:00

dropck_outlives.rs

Combine identical alias arms

2022-12-13 17:48:55 +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

Move some suggestions from error_reporting to error_reporting::suggest

2022-12-08 05:58:30 +00:00

normalize_erasing_regions.rs

partially_normalize_... -> At::normalize

2022-11-28 17:35:39 +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

Make ObligationCtxt::normalize take cause by borrow

2022-11-28 17:35:40 +00:00