summaryrefslogtreecommitdiff
path: root/tests/diagnostics/nested-pragma-impl1.slang
diff options
context:
space:
mode:
Diffstat (limited to 'tests/diagnostics/nested-pragma-impl1.slang')
-rw-r--r--tests/diagnostics/nested-pragma-impl1.slang12
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/diagnostics/nested-pragma-impl1.slang b/tests/diagnostics/nested-pragma-impl1.slang
new file mode 100644
index 000000000..305162651
--- /dev/null
+++ b/tests/diagnostics/nested-pragma-impl1.slang
@@ -0,0 +1,12 @@
+implementing nested_pragma_test;
+
+__include "nested-pragma-impl2.slang";
+
+namespace impl1
+{
+ interface IConvertibleFrom<From> {}
+
+ // This should NOT produce warning 30856 due to outer pragma disable
+ extension<From : __BuiltinIntegerType, To : IConvertibleFrom<From>, let N : int>
+ vector<To, N> : IConvertibleFrom<vector<From, N>> {}
+} \ No newline at end of file