rust/compiler/rustc_traits/src
bors 7477c1f4f7 Auto merge of #104522 - RalfJung:try_normalize_after_erasing_regions, r=oli-obk
try_normalize_after_erasing_regions: promote an assertion to always run

In https://github.com/rust-lang/miri/issues/2433 this assertion has been seen to trigger, so it might be worth actually checking this? Regressing debug assertions are very easy to miss until much later, and then they become quite hard to debug.
2022-11-20 01:16:52 +00:00
..
chalk Make rustc build with new chalk 2022-11-13 19:53:44 +00: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 (almost) Always use ObligationCtxt when dealing with canonical queries 2022-10-27 15:43:33 +00:00
lib.rs (almost) Always use ObligationCtxt when dealing with canonical queries 2022-10-27 15:43:33 +00:00
normalize_erasing_regions.rs try_normalize_after_erasing_regions: promote an assertion to always run 2022-11-17 09:06:15 +01: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 Convert predicates into Predicate in the Obligation constructor 2022-11-16 09:25:19 +00:00