From 6ca1d871948cc8fb9831f7f4d2e898bbef557e93 Mon Sep 17 00:00:00 2001
From: Oli Scherer <github35764891676564198441@oli-obk.de>
Date: Fri, 12 Mar 2021 12:59:37 +0000
Subject: [PATCH] Visit `mir::Constant::user_ty` for completeness.

It's not necessary yet, but it may become necessary with things like lazy normalization.
---
 compiler/rustc_middle/src/mir/type_foldable.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/rustc_middle/src/mir/type_foldable.rs b/compiler/rustc_middle/src/mir/type_foldable.rs
index 4ad69a2cb98d..44bedd75553b 100644
--- a/compiler/rustc_middle/src/mir/type_foldable.rs
+++ b/compiler/rustc_middle/src/mir/type_foldable.rs
@@ -342,8 +342,8 @@ impl<'tcx> TypeFoldable<'tcx> for Constant<'tcx> {
         }
     }
     fn super_visit_with<V: TypeVisitor<'tcx>>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy> {
-        self.literal.visit_with(visitor)
-        // FIXME: should this be visiting the `user_ty`, too?
+        self.literal.visit_with(visitor)?;
+        self.user_ty.visit_with(visitor)
     }
 }