Why implementing a method without consistent type args is legal?

[yjhmelody]

interface Foo {
    foo<T>(): void
}

class Bar implements Foo {
    foo(): void {}
}

let bar: Foo = new Bar; 

It works.

[MaxGraey]

It also works in TS

[yjhmelody]

How about this?

interface Foo {
    foo<T>(t: T): void
}

class Bar implements Foo {
    foo(t: i32): void {

    }
}

class Baz implements Foo {
    foo(t: i8): void {
        
    }
}


let bar: Foo = new Bar; 
let baz: Foo = new Baz; 
bar.foo(1);
baz.foo(1);

Whoops, the AssemblyScript compiler has crashed during compile :-(
▌ 
▌ Here is a stack trace that may or may not be useful:

[MaxGraey]

Good point

[willemneal]

Shouldn't the type arg be inferred?

[JairusSW]

Yup. It should.

[yjhmelody]

But the interface could not support dynamic dispatch if there are generic type in methods.