diff --git a/compiler/rustc_hir_analysis/src/hir_ty_lowering/mod.rs b/compiler/rustc_hir_analysis/src/hir_ty_lowering/mod.rs
index 80c1106780ca7..21fe7f70e2359 100644
--- a/compiler/rustc_hir_analysis/src/hir_ty_lowering/mod.rs
+++ b/compiler/rustc_hir_analysis/src/hir_ty_lowering/mod.rs
@@ -2518,15 +2518,29 @@ impl<'tcx> dyn HirTyLowerer<'tcx> + '_ {
     ) -> Const<'tcx> {
         let tcx = self.tcx();
 
+        let found_tuple = || {
+            tcx.sess
+                .source_map()
+                .span_to_snippet(span)
+                .map(|snippet| format!("`{snippet}`"))
+                .unwrap_or_else(|_| "const tuple".to_string())
+        };
+
         let tys = match ty.kind() {
             ty::Tuple(tys) => tys,
             ty::Error(e) => return Const::new_error(tcx, *e),
             _ => {
-                let e = tcx.dcx().span_err(span, format!("expected `{}`, found const tuple", ty));
+                let e =
+                    tcx.dcx().span_err(span, format!("expected `{}`, found {}", ty, found_tuple()));
                 return Const::new_error(tcx, e);
             }
         };
 
+        if exprs.len() != tys.len() {
+            let e = tcx.dcx().span_err(span, format!("expected `{}`, found {}", ty, found_tuple()));
+            return Const::new_error(tcx, e);
+        }
+
         let exprs = exprs
             .iter()
             .zip(tys.iter())
diff --git a/compiler/rustc_hir_typeck/src/writeback.rs b/compiler/rustc_hir_typeck/src/writeback.rs
index ba5b55b43049f..58139a5e3480a 100644
--- a/compiler/rustc_hir_typeck/src/writeback.rs
+++ b/compiler/rustc_hir_typeck/src/writeback.rs
@@ -348,7 +348,7 @@ impl<'cx, 'tcx> Visitor<'tcx> for WritebackCx<'cx, 'tcx> {
     fn visit_ty(&mut self, hir_ty: &'tcx hir::Ty<'tcx, AmbigArg>) {
         intravisit::walk_ty(self, hir_ty);
         // If there are type checking errors, Type privacy pass will stop,
-        // so we may not get the type from hid_id, see #104513
+        // so we may not get the type from hir_id, see #104513
         if let Some(ty) = self.fcx.node_ty_opt(hir_ty.hir_id) {
             let ty = self.resolve(ty, &hir_ty.span);
             self.write_ty_to_typeck_results(hir_ty.hir_id, ty);
diff --git a/tests/ui/const-generics/mgca/tuple_expr_arg_bad-issue-151048.rs b/tests/ui/const-generics/mgca/tuple_expr_arg_bad-issue-151048.rs
index 4aecd30e86bbb..70b955589d3e7 100644
--- a/tests/ui/const-generics/mgca/tuple_expr_arg_bad-issue-151048.rs
+++ b/tests/ui/const-generics/mgca/tuple_expr_arg_bad-issue-151048.rs
@@ -2,7 +2,7 @@
 #![expect(incomplete_features)]
 
 struct Y {
-    stuff: [u8; { ([1, 2], 3, [4, 5]) }], //~ ERROR expected `usize`, found const tuple
+    stuff: [u8; { ([1, 2], 3, [4, 5]) }], //~ ERROR expected `usize`, found `([1, 2], 3, [4, 5])`
 }
 
 fn main() {}
diff --git a/tests/ui/const-generics/mgca/tuple_expr_arg_bad-issue-151048.stderr b/tests/ui/const-generics/mgca/tuple_expr_arg_bad-issue-151048.stderr
index 468bf703d90d4..aa54a5ae77048 100644
--- a/tests/ui/const-generics/mgca/tuple_expr_arg_bad-issue-151048.stderr
+++ b/tests/ui/const-generics/mgca/tuple_expr_arg_bad-issue-151048.stderr
@@ -1,4 +1,4 @@
-error: expected `usize`, found const tuple
+error: expected `usize`, found `([1, 2], 3, [4, 5])`
   --> $DIR/tuple_expr_arg_bad-issue-151048.rs:5:19
    |
 LL |     stuff: [u8; { ([1, 2], 3, [4, 5]) }],
diff --git a/tests/ui/const-generics/mgca/tuple_expr_arg_mismatch_type.rs b/tests/ui/const-generics/mgca/tuple_expr_arg_mismatch_type.rs
index 95acd66074f6f..608a4af353a5e 100644
--- a/tests/ui/const-generics/mgca/tuple_expr_arg_mismatch_type.rs
+++ b/tests/ui/const-generics/mgca/tuple_expr_arg_mismatch_type.rs
@@ -2,7 +2,7 @@
 #![expect(incomplete_features)]
 
 pub fn takes_nested_tuple<const N: u32>() {
-    takes_nested_tuple::<{ () }> //~ ERROR expected `u32`, found const tuple
+    takes_nested_tuple::<{ () }> //~ ERROR expected `u32`, found `()`
 }
 
 fn main() {}
diff --git a/tests/ui/const-generics/mgca/tuple_expr_arg_mismatch_type.stderr b/tests/ui/const-generics/mgca/tuple_expr_arg_mismatch_type.stderr
index dfbd294951fdc..d8314a6b6a57e 100644
--- a/tests/ui/const-generics/mgca/tuple_expr_arg_mismatch_type.stderr
+++ b/tests/ui/const-generics/mgca/tuple_expr_arg_mismatch_type.stderr
@@ -1,4 +1,4 @@
-error: expected `u32`, found const tuple
+error: expected `u32`, found `()`
   --> $DIR/tuple_expr_arg_mismatch_type.rs:5:28
    |
 LL |     takes_nested_tuple::<{ () }>
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..f844dae5c8220
--- /dev/null
+++ b/tests/ui/const-generics/mgca/tuple_expr_arg_unbounded_assoc_const.rs
@@ -0,0 +1,13 @@
+#![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) }>;
+    //~^ ERROR expected `()`, found `(N, T::ASSOC)`
+}
+
+fn main() {}
diff --git a/tests/ui/const-generics/mgca/tuple_expr_arg_unbounded_assoc_const.stderr b/tests/ui/const-generics/mgca/tuple_expr_arg_unbounded_assoc_const.stderr
new file mode 100644
index 0000000000000..3af04db14b60b
--- /dev/null
+++ b/tests/ui/const-generics/mgca/tuple_expr_arg_unbounded_assoc_const.stderr
@@ -0,0 +1,8 @@
+error: expected `()`, found `(N, T::ASSOC)`
+  --> $DIR/tuple_expr_arg_unbounded_assoc_const.rs:9:21
+   |
+LL |     takes_tuple::<{ (N, T::ASSOC) }>;
+   |                     ^^^^^^^^^^^^^
+
+error: aborting due to 1 previous error
+