add testcase

Author: Changqing-JING

tests/compiler/override-typeparam-mismatch.json

@@ -3,6 +3,7 @@
   "stderr": [
     "TS2515: Non-abstract class 'override-typeparam-mismatch/CC' does not implement inherited abstract member 'foo' from 'override-typeparam-mismatch/I'.",
     "TS2515: Non-abstract class 'override-typeparam-mismatch/DD' does not implement inherited abstract member 'bar' from 'override-typeparam-mismatch/J'.",
+    "TS2515: Non-abstract class 'override-typeparam-mismatch/C2' does not implement inherited abstract member 'foo' from 'override-typeparam-mismatch/I2'.",
     "EOF"
   ]
 }

tests/compiler/override-typeparam-mismatch.ts

@@ -24,4 +24,16 @@ class DD implements J {
 let dd:DD = new DD();
 dd.bar<i32>(1);
 
+interface I2 {
+  foo<T, U>(x: i32): i32;
+}
+
+class C2 implements I2 {
+  foo<T>(x: i32): i32 {
+    return x;
+  }
+}
+
+new C2().foo<i32>(1);
+
 ERROR("EOF");