generic argument with default value causes incorrect generic type resolution

[krux02]

Example

proc foo[T](a: T; b: T) =
  echo T

foo(0.0'f32, 0.0)

proc bar[T](a: T; b: T = 0.0) =
  echo T

bar(0.0'f32)

Current Output

float32
float64

This is very strage, because the type T should depend on the first argument a, which is definitively float32.

Expected Output

float32
float32

Additional Information

• This unexpected behavior was the causue of the issue Complex: complex proc does not create Complex[float32] from float32 argument #12525
• using T(0.0) in the default argument causes a compiler crash.