Skip to content

Commit

Permalink
try_normalize_after_erasing_regions: promote an assertion to always run
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Nov 17, 2022
1 parent 9340e5c commit 99f7e94
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion compiler/rustc_traits/src/normalize_erasing_regions.rs
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,9 @@ fn try_normalize_after_erasing_regions<'tcx, T: TypeFoldable<'tcx> + PartialEq +
// We don't care about the `obligations`; they are
// always only region relations, and we are about to
// erase those anyway:
debug_assert_eq!(
// This has been seen to fail in RL, so making it a non-debug assertion to better catch
// those cases.
assert_eq!(
normalized_obligations.iter().find(|p| not_outlives_predicate(p.predicate)),
None,
);
Expand Down

0 comments on commit 99f7e94

Please sign in to comment.