diff --git a/compiler/rustc_privacy/src/lib.rs b/compiler/rustc_privacy/src/lib.rs
index 1cd1101db090d..1003abf9df585 100644
--- a/compiler/rustc_privacy/src/lib.rs
+++ b/compiler/rustc_privacy/src/lib.rs
@@ -1181,15 +1181,14 @@ impl<'tcx> Visitor<'tcx> for TypePrivacyVisitor<'tcx> {
 
     fn visit_ty(&mut self, hir_ty: &'tcx hir::Ty<'tcx, AmbigArg>) {
         self.span = hir_ty.span;
-        if self
-            .visit(
-                self.maybe_typeck_results
-                    .unwrap_or_else(|| span_bug!(hir_ty.span, "`hir::Ty` outside of a body"))
-                    .node_type(hir_ty.hir_id),
-            )
-            .is_break()
+        if let Some(ty) = self
+            .maybe_typeck_results
+            .unwrap_or_else(|| span_bug!(hir_ty.span, "`hir::Ty` outside of a body"))
+            .node_type_opt(hir_ty.hir_id)
         {
-            return;
+            if self.visit(ty).is_break() {
+                return;
+            }
         }
 
         intravisit::walk_ty(self, hir_ty);
diff --git a/tests/ui/const-generics/mgca/tuple_expr_arg_unbounded_assoc_const.rs b/tests/ui/const-generics/mgca/tuple_expr_arg_unbounded_assoc_const.rs
new file mode 100644
index 0000000000000..d9efbabb84239
--- /dev/null
+++ b/tests/ui/const-generics/mgca/tuple_expr_arg_unbounded_assoc_const.rs
@@ -0,0 +1,13 @@
+//@ check-pass
+#![feature(min_generic_const_args, adt_const_params)]
+
+// Regression test for an ICE in privacy checking while walking the `T` qself
+// of `T::ASSOC` inside a tuple const argument.
+
+fn takes_tuple<const N: ()>() {}
+
+fn generic_caller<T, const N: u32>() {
+    takes_tuple::<{ (N, T::ASSOC) }>;
+}
+
+fn main() {}