diff --git a/compiler/rustc_type_ir/src/region_constraint.rs b/compiler/rustc_type_ir/src/region_constraint.rs
index 4b23bfd0f7765..2ba2d40f3a540 100644
--- a/compiler/rustc_type_ir/src/region_constraint.rs
+++ b/compiler/rustc_type_ir/src/region_constraint.rs
@@ -978,11 +978,14 @@ pub fn regions_outlived_by_placeholder<I: Interner>(
 }
 
 /// The largest universe a variable or placeholder was from in `t`
-pub fn max_universe<Infcx: InferCtxtLike<Interner = I>, I: Interner, T: TypeVisitable<I>>(
+pub fn max_universe<Infcx: InferCtxtLike<Interner = I>, I: Interner, T: TypeFoldable<I>>(
     infcx: &Infcx,
     t: T,
 ) -> UniverseIndex {
     let mut visitor = MaxUniverse::new(infcx);
+    // `max_universe` is also used while rewriting constraints to lower universes,
+    // so do not rely on callers having already resolved non-region infer vars.
+    let t = infcx.resolve_vars_if_possible(t);
     t.visit_with(&mut visitor);
     visitor.max_universe()
 }
@@ -1036,11 +1039,17 @@ impl<'a, Infcx: InferCtxtLike<Interner = I>, I: Interner> TypeVisitor<I>
     fn visit_region(&mut self, r: I::Region) {
         match r.kind() {
             RegionKind::RePlaceholder(p) => self.max_universe = self.max_universe.max(p.universe),
-            RegionKind::ReVar(var) => {
-                let u = self.infcx.universe_of_lt(var).unwrap();
-                debug!("var {var:?} in universe {u:?}");
-                self.max_universe = self.max_universe.max(u);
-            }
+            RegionKind::ReVar(var) => match self.infcx.opportunistic_resolve_lt_var(var).kind() {
+                RegionKind::RePlaceholder(p) => {
+                    self.max_universe = self.max_universe.max(p.universe)
+                }
+                RegionKind::ReVar(var) => {
+                    let u = self.infcx.universe_of_lt(var).unwrap();
+                    debug!("var {var:?} in universe {u:?}");
+                    self.max_universe = self.max_universe.max(u);
+                }
+                _ => (),
+            },
             _ => (),
         }
     }
diff --git a/tests/ui/assumptions_on_binders/resolved-region-var-max-universe.rs b/tests/ui/assumptions_on_binders/resolved-region-var-max-universe.rs
new file mode 100644
index 0000000000000..46c9aacdd93d9
--- /dev/null
+++ b/tests/ui/assumptions_on_binders/resolved-region-var-max-universe.rs
@@ -0,0 +1,28 @@
+//@ compile-flags: -Zassumptions-on-binders -Znext-solver=globally
+
+// Regression test for an ICE in the `MaxUniverse` region visitor. When computing
+// the max universe of a region constraint, a `ReVar` term could already have been
+// unified with another region. `universe_of_lt` returns `None` for such a resolved
+// variable, so the visitor used to `unwrap()` `None` and panic.
+//
+// The missing `T` in `check` is intentional. It makes HIR ty lowering emit an
+// error while still leaving behind the region constraint that used to ICE.
+
+#![feature(min_generic_const_args, inherent_associated_types, generic_const_items)]
+
+struct Parent<'a> {
+    a: &'a str,
+}
+
+impl<'a> Parent<'a> {
+    type const CT<T: 'a>: usize = 0;
+}
+
+fn check()
+where
+    [(); Parent::CT::<T>]:,
+    //~^ ERROR cannot find type `T` in this scope
+{
+}
+
+fn main() {}
diff --git a/tests/ui/assumptions_on_binders/resolved-region-var-max-universe.stderr b/tests/ui/assumptions_on_binders/resolved-region-var-max-universe.stderr
new file mode 100644
index 0000000000000..e77a0994fc2db
--- /dev/null
+++ b/tests/ui/assumptions_on_binders/resolved-region-var-max-universe.stderr
@@ -0,0 +1,14 @@
+error[E0425]: cannot find type `T` in this scope
+  --> $DIR/resolved-region-var-max-universe.rs:23:23
+   |
+LL |     [(); Parent::CT::<T>]:,
+   |                       ^ not found in this scope
+   |
+help: you might be missing a type parameter
+   |
+LL | fn check<T>()
+   |         +++
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0425`.