diff --git a/compiler/rustc_infer/src/infer/mod.rs b/compiler/rustc_infer/src/infer/mod.rs
index c9fc124d3bf8d..25eb2bf271e9f 100644
--- a/compiler/rustc_infer/src/infer/mod.rs
+++ b/compiler/rustc_infer/src/infer/mod.rs
@@ -1125,7 +1125,9 @@ impl<'tcx> InferCtxt<'tcx> {
                     // Note: if these two lines are combined into one we get
                     // dynamic borrow errors on `self.inner`.
                     let known = self.inner.borrow_mut().type_variables().probe(v).known();
-                    known.map_or(ty, |t| self.shallow_resolve(t))
+                    known.map_or(Ty::new_var(self.tcx, self.root_var(v)), |t| {
+                        self.shallow_resolve(t)
+                    })
                 }
 
                 ty::IntVar(v) => {
diff --git a/tests/ui/coercion/issue-88097.rs b/tests/ui/coercion/issue-88097.rs
index f636323d62367..a5804e3b789cb 100644
--- a/tests/ui/coercion/issue-88097.rs
+++ b/tests/ui/coercion/issue-88097.rs
@@ -3,6 +3,9 @@
 // behavior has been fixed.
 
 //@ check-pass
+//@ revisions: current next
+//@ ignore-compare-mode-next-solver (explicit revisions)
+//@[next] compile-flags: -Znext-solver
 
 fn peculiar() -> impl Fn(u8) -> u8 {
     return |x| x + 1