bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

try_normalize_after_erasing_regions: promote an assertion to always run

Browse source
This commit is contained in:
Ralf Jung 2022-11-17 09:06:15 +01:00
parent 9340e5c1b9
commit 99f7e9494e
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_traits/src/normalize_erasing_regions.rs
View file

@ -34,7 +34,9 @@ fn try_normalize_after_erasing_regions<'tcx, T: TypeFoldable<'tcx> + PartialEq +
// We don't care about the `obligations`; they are // We don't care about the `obligations`; they are
// always only region relations, and we are about to // always only region relations, and we are about to
// erase those anyway: // 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)), normalized_obligations.iter().find(|p| not_outlives_predicate(p.predicate)),
None, None,
); );