namespace;
include rt;

// expect: type error: argument: expected point*, got int*
typecheck on;
struct point { int x, y; };
int f(point* p) { return p.x; }
fn main() { int* q = rt.new(int); f(q); rt.free(d*q); return 0; }