Validation error when resolving generic with int & float type

[MaxGraey]

Minimal example

function is<T>(a: T, b: T): bool {
  return a == b;
}
assert(is(1, 1.0));

This example can't validate and produce output:

[wasm-validator error in function $start:main] 1 != 4: call param types must match, on 
[i32] (call $~main/is<f64>
 [i32] (i32.const 0)
 [f64] (f64.const 1)
)
(on argument 0)

  Error: Validate error
  ...

[dcodeIO]

Seems this is partly solved by #839 in that it now yields

 ERROR TS2322: Type 'f64' is not assignable to type 'i32'.

   function is<T>(a: T, b: T): bool {
                           ~
   in index.ts(1,24)

from inferring 1 -> i32 = T first.