original.name="Template_Invalid_12"
======
>>> main.whiley
function f<T,S>(T x) -> (int y):
    return x

method main():
    bool x = f(1)
---
E400 main.whiley 2,11
E400 main.whiley 5,13:16