Wrong templated types in recursive templated function

[maxime-petitjean]

When calling recursively a templated function, types seems to be wrong.

Steps to reproduce

Compile the following code:

function foo<T1,T2>(): string {
  if(isInteger<T2>()){
    return foo<T2, T1>();
  }

  return nameof<T1>();
}

export function test(): string {
  return foo<f64, i32>();
}

Expected behavior

Function test() should return "i32".

But this code generate an unexpected infinite loop because of recursive call with wrong types:

(func $module/foo<i32,i32> (result i32)
  i32.const 1
  drop
  call $module/foo<i32,i32>
  return
 )
 (func $module/foo<f64,i32> (result i32)
  i32.const 1
  drop
  call $module/foo<i32,i32> ;; Should be `call $module/foo<i32,f64>`
  return
 )
 (func $module/test (result i32)
  call $module/foo<f64,i32>
 )

[maxime-petitjean]

I had the same problem without a recursive call. It seems to be a conflict with template names!

function isSameSize<T, U>(): boolean {
  return sizeof<T>() == sizeof<U>();
}

function isSameSize2<T2, U>(): boolean {
  return sizeof<T2>() == sizeof<U>();
}

function foo<T, U>(): boolean {
  return isSameSize<U, T>() == isSameSize2<U, T>();
}

export function test(): boolean {
  return foo<i32, i64>();
}

Function foo generate:

 (func $module/foo<i32,i64> (result i32)
  call $module/isSameSize<i64,i64> ;; KO with same name (T in foo and T in isSameSize)
  call $module/isSameSize2<i64,i32> ;; OK when renaming T to T2 in isSameSize2
  i32.eq
 )