Results
1
issues of
Yue Yao
The type checker behaves inconsistently in the following example, for values `u` and `v`, the type checker in some cases treats them as the same type but in other cases...
bug
types