From ddd29057e48a5b309726750e3daf78bfd073038e Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Wed, 4 Sep 2024 13:25:37 -0700
Subject: Fix extension override behavior, and disallow extension on interface
 types. (#4977)

* Add a test to ensure extension does not override existing conformance.

* Fix doc.

* Update documentation.

* Fix doc.

* Add diagnostic test.
---
 tests/diagnostics/interfaces/interface-extension.slang | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 tests/diagnostics/interfaces/interface-extension.slang

(limited to 'tests/diagnostics/interfaces')

diff --git a/tests/diagnostics/interfaces/interface-extension.slang b/tests/diagnostics/interfaces/interface-extension.slang
new file mode 100644
index 000000000..b63b454ab
--- /dev/null
+++ b/tests/diagnostics/interfaces/interface-extension.slang
@@ -0,0 +1,10 @@
+//DIAGNOSTIC_TEST:SIMPLE(filecheck=CHECK):-target cpp -stage compute -entry main -disable-specialization
+
+interface IFoo{}
+
+
+// CHECK: ([[# @LINE+1]]): error 30852
+extension IFoo
+{
+    int f() { return 0; }
+}
\ No newline at end of file
-- 
cgit v1.2.3