diff options
| author | Yong He <yonghe@outlook.com> | 2025-07-10 21:14:16 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-11 04:14:16 +0000 |
| commit | 90c34e3db4fdc7be79c62bd91905a2a84bbd673e (patch) | |
| tree | a8ccf3c2dbfe5f1faa646bf91e41d9a12a66c804 /tests/language-feature/overloaded-subscript.slang | |
| parent | 7764b83d24d341334ca7c1693cae2472be8f8d99 (diff) | |
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.
Diffstat (limited to 'tests/language-feature/overloaded-subscript.slang')
| -rw-r--r-- | tests/language-feature/overloaded-subscript.slang | 1 |
1 files changed, 1 insertions, 0 deletions
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); } } |