namespace;

// expect: type error: argument: expected int, got char*
typecheck on;
T same<T>(T a, T b) { return a; }
fn main() { return same(1, "x"); }