// This fails to compile.

fun id<T>(T x) -> T { return x; }

fun main() -> int@ {
  let id_int = id<|int|>;
  return id_int(0);
}