More fail tests

IDE/Tests/CompileFail001/scripts/CompileFail.txt

@@ -1,3 +1,8 @@
+ShowFile("src/Generics.bf")
+WaitForResolve()
+SleepTicks(20)
+AssertFileErrors()
+
 ShowFile("src/Cases.bf")
 WaitForResolve()
 SleepTicks(20)

IDE/Tests/CompileFail001/src/Generics.bf

@@ -0,0 +1,17 @@
+using System;
+
+namespace IDETest
+{
+	class Generics
+	{
+		public void Method1<T>(T val) where T : Array
+		{
+
+		}
+
+		public void Method2<T, T2>(T val, T2 val2)
+		{
+			Method1(val2); //FAIL 'T', declared to be 'T2'
+		}
+	}
+}