Improved type printing (#2172)

Improved the type printing function to include the generic substitutions and parent types.
Added a test for it, mismatching-types.slang

3 files changed, 119 insertions, 7 deletions

diff --git a/tests/diagnostics/mismatching-types.slang b/tests/diagnostics/mismatching-types.slang
new file mode 100644
index 000000000..15fc1d0e3
--- /dev/null
+++ b/tests/diagnostics/mismatching-types.slang
@@ -0,0 +1,77 @@
+// mismatching-types.slang
+//DIAGNOSTIC_TEST:SIMPLE:-target hlsl
+
+Texture1D<float> tex;
+
+struct GenericOuter<T>
+{
+    struct GenericInner<Q>
+    {
+        T val;
+    };
+
+    struct NonGenericInner
+    {
+        T val;
+    };
+
+    GenericInner<T> g;
+    NonGenericInner ng;
+};
+
+struct NonGenericOuter
+{
+    struct GenericInner<T>
+    {
+        T val;
+
+        struct ReallyNested
+        {
+            T val;
+        };
+
+        ReallyNested n;
+    };
+
+    GenericInner<int> i;
+    GenericInner<float> f;
+};
+
+
+[shader("compute")]
+[numthreads(1, 1, 1)]
+void main(uint3 dispatchThreadID : SV_DispatchThreadID)
+{    
+    GenericOuter<int> a;
+    GenericOuter<float> b;
+    NonGenericOuter c;
+    NonGenericOuter.GenericInner<int> d;
+    
+    // expected an expression of type 'GenericOuter<int>', got 'int'
+    a = 0;
+    // expected an expression of type 'GenericOuter<int>.GenericInner<int>', got 'int'
+    a.g = 0;
+    // expected an expression of type 'GenericOuter<int>.NonGenericInner', got 'int'
+    a.ng = 0;
+    // expected an expression of type 'GenericOuter<int>.GenericInner<int>', got 'GenericOuter<float>.GenericInner<float>'
+    a.g = b.g;
+    // expected an expression of type 'GenericOuter<int>.NonGenericInner', got 'GenericOuter<float>.NonGenericInner'
+    a.ng = b.ng;
+    // expected an expression of type 'NonGenericOuter.GenericInner<int>', got 'int'
+    c.i = 0;
+    // expected an expression of type 'NonGenericOuter.GenericInner<int>', got 'NonGenericOuter.GenericInner<float>'
+    c.i = c.f;
+    // expected an expression of type 'NonGenericOuter.GenericInner<int>.ReallyNested', got 'int'
+    c.i.n = 0;
+    // OK
+    c.i.n.val = 0;
+    // OK
+    d.val = 0;
+    // OK
+    c.i = d;
+
+    // expected an expression of type 'Texture1D<int>', got 'Texture1D<float>'
+    Texture1D<int> t1 = tex;
+    // expected an expression of type 'Texture2D<float>', got 'Texture1D<float>'
+    Texture2D<float> t2 = tex;
+}
\ No newline at end of file
diff --git a/tests/diagnostics/mismatching-types.slang.expected b/tests/diagnostics/mismatching-types.slang.expected
new file mode 100644
index 000000000..2186a8d10
--- /dev/null
+++ b/tests/diagnostics/mismatching-types.slang.expected
@@ -0,0 +1,35 @@
+result code = -1
+standard error = {
+tests/diagnostics/mismatching-types.slang(51): error 30019: expected an expression of type 'GenericOuter<int>', got 'int'
+    a = 0;
+        ^
+tests/diagnostics/mismatching-types.slang(53): error 30019: expected an expression of type 'GenericOuter<int>.GenericInner<int>', got 'int'
+    a.g = 0;
+          ^
+tests/diagnostics/mismatching-types.slang(55): error 30019: expected an expression of type 'GenericOuter<int>.NonGenericInner', got 'int'
+    a.ng = 0;
+           ^
+tests/diagnostics/mismatching-types.slang(57): error 30019: expected an expression of type 'GenericOuter<int>.GenericInner<int>', got 'GenericOuter<float>.GenericInner<float>'
+    a.g = b.g;
+           ^
+tests/diagnostics/mismatching-types.slang(59): error 30019: expected an expression of type 'GenericOuter<int>.NonGenericInner', got 'GenericOuter<float>.NonGenericInner'
+    a.ng = b.ng;
+            ^
+tests/diagnostics/mismatching-types.slang(61): error 30019: expected an expression of type 'NonGenericOuter.GenericInner<int>', got 'int'
+    c.i = 0;
+          ^
+tests/diagnostics/mismatching-types.slang(63): error 30019: expected an expression of type 'NonGenericOuter.GenericInner<int>', got 'NonGenericOuter.GenericInner<float>'
+    c.i = c.f;
+           ^
+tests/diagnostics/mismatching-types.slang(65): error 30019: expected an expression of type 'NonGenericOuter.GenericInner<int>.ReallyNested', got 'int'
+    c.i.n = 0;
+            ^
+tests/diagnostics/mismatching-types.slang(74): error 30019: expected an expression of type 'Texture1D<int>', got 'Texture1D<float>'
+    Texture1D<int> t1 = tex;
+                        ^~~
+tests/diagnostics/mismatching-types.slang(76): error 30019: expected an expression of type 'Texture2D<float>', got 'Texture1D<float>'
+    Texture2D<float> t2 = tex;
+                          ^~~
+}
+standard output = {
+}
diff --git a/tests/doc/doc.slang.expected b/tests/doc/doc.slang.expected
index 95b3381b5..df51728e7 100644
--- a/tests/doc/doc.slang.expected
+++ b/tests/doc/doc.slang.expected
@@ -49,7 +49,7 @@ A useless method hey ho
 ## Signature 
 
 ```
-T ParentStruct<T>.ChildStruct<S>.getValue(S v);
+ParentStruct.T ParentStruct<T>.ChildStruct<S>.getValue(ParentStruct<ParentStruct.T>.ChildStruct.S v);
 ```
 
 ## Parameters
@@ -77,7 +77,7 @@ T ParentStruct<T>.ChildStruct<S>.getValue(S v);
 ## Signature 
 
 ```
-T GenericStruct<T>.getValue();
+GenericStruct.T GenericStruct<T>.getValue();
 ```
 
 --------------------------------------------------------------------------------
@@ -120,7 +120,7 @@ void Hey::doAnotherThing(int a);
 # inputBuffer
 
 ```
-RWStructuredBuffer inputBuffer
+RWStructuredBuffer<int> inputBuffer
 ```
 
 ## Description
@@ -160,9 +160,9 @@ Add two integers
 ## Signature 
 
 ```
-V IDoThing.add(
-    V                    a,
-    V                    b);
+IDoThing.V IDoThing.add(
+    IDoThing.V           a,
+    IDoThing.V           b);
 ```
 
 ## Parameters
@@ -330,7 +330,7 @@ An enum
 # outputBuffer
 
 ```
-RWStructuredBuffer outputBuffer
+RWStructuredBuffer<int> outputBuffer
 ```
 
 ## Description