From 99e62887b8e9e38a58910dd4ec7e8ecbc257d9c5 Mon Sep 17 00:00:00 2001
From: zakrad <49591476+zakrad@users.noreply.github.com>
Date: Tue, 4 Aug 2026 20:07:19 +0330
Subject: [PATCH] Add regression test for opaque type with associated const
 equality bound

---
 .../opaque-ty-assoc-const-equality-117923.rs  | 22 +++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 tests/ui/const-generics/mgca/opaque-ty-assoc-const-equality-117923.rs

diff --git a/tests/ui/const-generics/mgca/opaque-ty-assoc-const-equality-117923.rs b/tests/ui/const-generics/mgca/opaque-ty-assoc-const-equality-117923.rs
new file mode 100644
index 0000000000000..37f32038c55f4
--- /dev/null
+++ b/tests/ui/const-generics/mgca/opaque-ty-assoc-const-equality-117923.rs
@@ -0,0 +1,22 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/117923>.
+//@ check-pass
+#![feature(min_generic_const_args, macroless_generic_const_args)]
+#![allow(incomplete_features, dead_code)]
+
+trait Trait {
+    type const CT: usize;
+}
+
+struct Type<const N: usize> {
+    field: [u8; N],
+}
+
+impl<const N: usize> Trait for Type<N> {
+    type const CT: usize = N;
+}
+
+fn func<const N: usize>() -> impl Trait<CT = { <Type<N> as Trait>::CT }> {
+    Type { field: [0; N] }
+}
+
+fn main() {}