Michael Goulet 1e236acd05 Make ObligationCtxt::normalize take cause by borrow

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

..

chalk

Introduce PredicateKind::Clause

2022-11-25 00:04:54 -03:00

dropck_outlives.rs

partially_normalize_... -> At::normalize

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

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