fix: report error when generic method attempts to implement non-generic interface method

Author: Changqing-JING

src/resolver.ts

@@ -3063,7 +3063,14 @@ export class Resolver extends DiagnosticEmitter {
           let boundPrototype = classInstance.getMember(unboundOverridePrototype.name);
           if (boundPrototype) { // might have errored earlier and wasn't added
             assert(boundPrototype.kind == ElementKind.FunctionPrototype);
-            overrideInstance = this.resolveFunction(<FunctionPrototype>boundPrototype, instance.typeArguments);
+            let boundFuncPrototype = <FunctionPrototype>boundPrototype;
+            let overrideTypeParams = boundFuncPrototype.typeParameterNodes;
+            let numOverrideTypeParams = overrideTypeParams ? overrideTypeParams.length : 0;
+            let baseTypeArgs = instance.typeArguments;
+            let numBaseTypeArgs = baseTypeArgs ? baseTypeArgs.length : 0;
+            if (numOverrideTypeParams == numBaseTypeArgs) {
+              overrideInstance = this.resolveFunction(boundFuncPrototype, baseTypeArgs);
+            }
           }
         }
         if (overrideInstance) overrides.add(overrideInstance);
@@ -3439,6 +3446,20 @@ export class Resolver extends DiagnosticEmitter {
           default: assert(false);
         }
         if (!member.is(CommonFlags.Abstract)) {
+          // A generic method cannot implement a non-generic interface method
+          // because monomorphization requires a concrete type to generate code,
+          // but virtual dispatch through the interface has no type arguments.
+          let ifaceMember = unimplemented.get(memberName);
+          if (ifaceMember
+            && member.kind == ElementKind.FunctionPrototype
+            && ifaceMember.kind == ElementKind.FunctionPrototype
+          ) {
+            let memberTypeParams = (<FunctionPrototype>member).typeParameterNodes;
+            let ifaceTypeParams = (<FunctionPrototype>ifaceMember).typeParameterNodes;
+            let numMemberTypeParams = memberTypeParams ? memberTypeParams.length : 0;
+            let numIfaceTypeParams = ifaceTypeParams ? ifaceTypeParams.length : 0;
+            if (numMemberTypeParams != numIfaceTypeParams) continue;
+          }
           unimplemented.delete(memberName);
         }
       }

tests/compiler/override-typeparam-mismatch.json

@@ -0,0 +1,6 @@
+{
+  "asc_flags": [],
+  "stderr": [
+    "TS2515: Non-abstract class 'override-typeparam-mismatch/CC' does not implement inherited abstract member 'foo' from 'override-typeparam-mismatch/I'."
+  ]
+}

tests/compiler/override-typeparam-mismatch.ts

@@ -0,0 +1,12 @@
+interface I {
+  foo(x: i32): i32;
+}
+
+class CC implements I {
+  foo<T>(x: i32): i32 {
+    return x;
+  }
+}
+
+let c:I = new CC();
+c.foo(1);