summaryrefslogtreecommitdiff
path: root/tests/diagnostics/generic-constraint-forward-reference.slang.expected
diff options
context:
space:
mode:
Diffstat (limited to 'tests/diagnostics/generic-constraint-forward-reference.slang.expected')
-rw-r--r--tests/diagnostics/generic-constraint-forward-reference.slang.expected14
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/diagnostics/generic-constraint-forward-reference.slang.expected b/tests/diagnostics/generic-constraint-forward-reference.slang.expected
new file mode 100644
index 000000000..5c6b2707b
--- /dev/null
+++ b/tests/diagnostics/generic-constraint-forward-reference.slang.expected
@@ -0,0 +1,14 @@
+result code = -1
+standard error = {
+tests/diagnostics/generic-constraint-forward-reference.slang(9): error 30117: generic constraint for parameter 'Foo' references type parameter 'T' before it is declared
+void test1<Foo : IFoo<T>, T : IFloat>() {}
+ ^~~~
+tests/diagnostics/generic-constraint-forward-reference.slang(12): error 30117: generic constraint for parameter 'A' references type parameter 'B' before it is declared
+void test2<A : IBar<B, C>, B : IFloat, C : IFloat>() {}
+ ^~~~
+tests/diagnostics/generic-constraint-forward-reference.slang(12): error 30117: generic constraint for parameter 'A' references type parameter 'C' before it is declared
+void test2<A : IBar<B, C>, B : IFloat, C : IFloat>() {}
+ ^~~~
+}
+standard output = {
+}