From 19e70953e328bba1b58eadbc677f59d9eb2ae4ea Mon Sep 17 00:00:00 2001
From: Bastian Kauschke <bastian_kauschke@hotmail.de>
Date: Fri, 9 Oct 2020 14:41:59 +0200
Subject: [PATCH] require `Reveal::All` in `normalize_erasing_regions`

---
 compiler/rustc_middle/src/ty/normalize_erasing_regions.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/rustc_middle/src/ty/normalize_erasing_regions.rs b/compiler/rustc_middle/src/ty/normalize_erasing_regions.rs
index 48a62b6460467..668ace42724e1 100644
--- 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.