original.name="Template_Invalid_6"
======
>>> main.whiley
function f<T>(T x) -> (T y):
    return x

method main():
    int x = f<bool>(false)
---
E400 main.whiley 5,12:25