normalize if-eq bounds before testing

[rust.git] / compiler / rustc_infer / src / infer / lexical_region_resolve / mod.rs

diff --git a/compiler/rustc_infer/src/infer/lexical_region_resolve/mod.rs b/compiler/rustc_infer/src/infer/lexical_region_resolve/mod.rs
index 9fa374a53fcaef4ce37187c4c98f8d31e063e786..455de47acef1b97e681f3dfdadcb203cf6f137ac 100644 (file)
--- a/compiler/rustc_infer/src/infer/lexical_region_resolve/mod.rs
+++ b/compiler/rustc_infer/src/infer/lexical_region_resolve/mod.rs
@@ -823,10 +823,11 @@ fn bound_is_met(
     ) -> bool {
         match bound {
             VerifyBound::IfEq(verify_if_eq_b) => {
+                let verify_if_eq_b = var_values.normalize(self.region_rels.tcx, *verify_if_eq_b);
                 match test_type_match::extract_verify_if_eq(
                     self.tcx(),
                     self.param_env,
-                    verify_if_eq_b,
+                    &verify_if_eq_b,
                     generic_ty,
                 ) {
                     Some(r) => {