summaryrefslogtreecommitdiff
path: root/tests/diagnostics
diff options
context:
space:
mode:
Diffstat (limited to 'tests/diagnostics')
-rw-r--r--tests/diagnostics/enum-implicit-conversion.slang.expected1
-rw-r--r--tests/diagnostics/interface-requirement-not-satisfied.slang12
-rw-r--r--tests/diagnostics/interface-requirement-not-satisfied.slang.expected6
3 files changed, 19 insertions, 0 deletions
diff --git a/tests/diagnostics/enum-implicit-conversion.slang.expected b/tests/diagnostics/enum-implicit-conversion.slang.expected
index 7564e0aa4..1fc0c3dc6 100644
--- a/tests/diagnostics/enum-implicit-conversion.slang.expected
+++ b/tests/diagnostics/enum-implicit-conversion.slang.expected
@@ -1,6 +1,7 @@
result code = -1
standard error = {
tests/diagnostics/enum-implicit-conversion.slang(27): error 30019: expected an expression of type 'Color', got 'int'
+tests/diagnostics/enum-implicit-conversion.slang(27): note: explicit conversion from 'int' to 'Color' is possible
tests/diagnostics/enum-implicit-conversion.slang(34): error 30019: expected an expression of type 'int', got 'Color'
tests/diagnostics/enum-implicit-conversion.slang(34): note: explicit conversion from 'Color' to 'int' is possible
tests/diagnostics/enum-implicit-conversion.slang(35): error 30019: expected an expression of type 'uint', got 'Color'
diff --git a/tests/diagnostics/interface-requirement-not-satisfied.slang b/tests/diagnostics/interface-requirement-not-satisfied.slang
new file mode 100644
index 000000000..b9ab7e3be
--- /dev/null
+++ b/tests/diagnostics/interface-requirement-not-satisfied.slang
@@ -0,0 +1,12 @@
+// interface-requirement-not-satisfied.slang
+
+//DIAGNOSTIC_TEST:SIMPLE:
+
+interface IFoo
+{
+ void bar();
+}
+
+struct T : IFoo
+{
+}
diff --git a/tests/diagnostics/interface-requirement-not-satisfied.slang.expected b/tests/diagnostics/interface-requirement-not-satisfied.slang.expected
new file mode 100644
index 000000000..b600a5e21
--- /dev/null
+++ b/tests/diagnostics/interface-requirement-not-satisfied.slang.expected
@@ -0,0 +1,6 @@
+result code = -1
+standard error = {
+tests/diagnostics/interface-requirement-not-satisfied.slang(10): error 38100: type 'T' does not provide required interface member 'bar'
+}
+standard output = {
+}