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

[Changqing-JING]

Fixes #3006 .

Changes proposed in this pull request:
TypeScript allows this because it uses type erasure — generics disappear at runtime, so foo<T>() and foo() are the same function. AssemblyScript cannot do the same because it uses monomorphization — each type argument produces a distinct function, and the vtable needs a single fixed entry. This is the same reason C++ forbids template functions from overriding virtual functions.

The fix treats a generic method as not satisfying a non-generic interface method, matching C++ semantics.

• I've read the contributing guidelines
• I've added my name and email to the NOTICE file

[MaxGraey]

LGTM

[MaxGraey]

The only thing that could be improved is to add a new error specific to AS. Such errors:

“TS2515: Non-abstract class ‘override-typeparam-mismatch/CC’ does not implement inherited 
abstract member ‘foo’ from ‘override-typeparam-mismatch/I’.”,

isn’t very informative, since the method is actually defined and has the correct signature. The only issue is incorrect parametric polymorphism.

Perhaps may sense to add new AS241 error for this

[HerrCai0907]

should we allow this implement when the generic number are the same? I think it will crash also if the typing mismatched.
IMO, maybe we should forbidden all generic function in interface?

[MaxGraey]

Hmm, I see only one edge case in this scenario:

interface I {
  add<T, U>(x: T, y: U): U;
}

class C2 implements I {
  add<U, T>(x: T, y: U): U {
    return x;
  }
}

[Changqing-JING]

Good point. If we follow C++ design:

1. template function aka. generic function can't be member in interface
2. template function also can't override virtual function in interface.

Shall we do the same?

I would prefer to follow C++ design because generic function in interface is a confused behaviour
But it may break some existing code on user side.
What do maintainers prefer?

[Changqing-JING]

The only thing that could be improved is to add a new error specific to AS. Such errors:

“TS2515: Non-abstract class ‘override-typeparam-mismatch/CC’ does not implement inherited 
abstract member ‘foo’ from ‘override-typeparam-mismatch/I’.”,

isn’t very informative, since the method is actually defined and has the correct signature. The only issue is incorrect parametric polymorphism.

Perhaps may sense to add new AS241 error for this

There I just referred the hehavior of clang. In clang, a generic(template) function isn't regarded as overriding of virtual interface function, so the interface function is regarded as "unimplemented"