Language experiments (#2068)

* #include an absolute path didn't work - because paths were taken to always be relative.

* Moved to experiments.
Added some more tests.

* More tests around associated types.

* Return interface tests.

* More tests.

1 files changed, 61 insertions, 0 deletions

diff --git a/tests/experiments/interface/associated-type-2.slang b/tests/experiments/interface/associated-type-2.slang
new file mode 100644
index 000000000..2dd3779d9
--- /dev/null
+++ b/tests/experiments/interface/associated-type-2.slang
@@ -0,0 +1,61 @@
+//DISABLE_TEST:SIMPLE:-target dxil -entry computeMain -profile cs_6_2
+
+/* 
+Testing how an associated type can be used.
+
+Here we try and only use Type returned in IInterface with methods on IInterface, since presubably the 
+impl knows how to deal with it.
+
+Doesn't work.
+
+.slang(52): error 30019: expected an expression of type 'Type', got 'Type'
+    outputBuffer[dispatchThreadID.x] = x + intf.getValue(r, 16);
+
+*/
+
+struct SomeType
+{
+    int getValue(int index) { return index + offset; }
+    
+    int offset;
+};
+
+interface IInterface
+{
+    associatedtype Type;
+    
+    Type get(int offset);
+    int getValue(Type type, int index);
+};
+
+struct InterfaceImpl : IInterface
+{
+    typedef SomeType Type;
+    
+    Type get(int offset) 
+    {
+        Type v;
+        v.offset = offset;
+        return v;
+    }; 
+    int getValue(Type type, int index)
+    {
+        return type.getValue(index);
+    }
+};
+
+RWStructuredBuffer<int> outputBuffer;
+
+[numthreads(4, 4, 1)]
+void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID)
+{
+    int x = dispatchThreadID.x;
+    
+    InterfaceImpl impl;
+    
+    IInterface intf = impl;
+    
+    var r = intf.get(16);
+    
+    outputBuffer[dispatchThreadID.x] = x + intf.getValue(r, 16);
+}
\ No newline at end of file