Improve Capability System (#3555)

* Improve capability system.

* Update documentation.

* Tuning semantics.

* LSP: hierarchical diagnostics.

* Fix test.

* Fix test.

1 files changed, 25 insertions, 0 deletions

diff --git a/tests/language-feature/capability/capability4.slang b/tests/language-feature/capability/capability4.slang
new file mode 100644
index 000000000..fce1f78ac
--- /dev/null
+++ b/tests/language-feature/capability/capability4.slang
@@ -0,0 +1,25 @@
+//TEST:SIMPLE(filecheck=CHECK): -target spirv -emit-spirv-directly -entry main -stage compute
+
+// Check that a non-static member method implictly requires capabilities
+// defined in ThisType.
+
+[require(hlsl)]
+struct Type
+{
+    int member;
+    [require(glsl)]
+    [mutating]
+    // CHECK: ([[# @LINE+1]]): error 36108:
+    void f()
+    {
+    }
+
+    [require(glsl)]
+    // CHECK-NOT: ([[# @LINE+1]]): error 36108:
+    static void f1()
+    {
+    }
+}
+
+void main()
+{}