From 90c34e3db4fdc7be79c62bd91905a2a84bbd673e Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Thu, 10 Jul 2025 21:14:16 -0700
Subject: Ensure generic constraints are checked before inner extension.
 (#7685)

* Ensure generic constraints are checked before inner extension.

* Add warning for non-standard generic extension.

* Fix tests.

* Fix test.

* Ban interface types from equality constraints.

* Fix.
---
 tests/language-feature/overloaded-subscript.slang | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tests/language-feature/overloaded-subscript.slang')

diff --git a/tests/language-feature/overloaded-subscript.slang b/tests/language-feature/overloaded-subscript.slang
index 68ad1111a..e928e97ec 100644
--- a/tests/language-feature/overloaded-subscript.slang
+++ b/tests/language-feature/overloaded-subscript.slang
@@ -13,6 +13,7 @@ interface IRWBuf<T> : IBuf<T>
     void write(int x, T v);
 }
 
+#pragma warning(disable:30856)
 extension<T, U : IBuf<T>> U
 {
     __subscript(int x) -> T { get { return read(x); } }
-- 
cgit v1.2.3