Rollup merge of rust-lang#77752 - lcnr:normalize-assert, r=oli-obk

require `Reveal::All` in `normalize_erasing_regions` would have caught a bug in mir inlining, see rust-lang#77568 (comment)
JohnTitor · Oct 10, 2020 · 52db1e9 · 52db1e9
2 parents 5e61a07 + 19e7095
commit 52db1e9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compiler/rustc_middle/src/ty/normalize_erasing_regions.rs b/compiler/rustc_middle/src/ty/normalize_erasing_regions.rs
@@ -27,6 +27,7 @@ impl<'tcx> TyCtxt<'tcx> {
             value,
             param_env,
         );
+        debug_assert_eq!(param_env.reveal(), ty::Reveal::All);
 
         // Erase first before we do the real query -- this keeps the
         // cache from being too polluted.