namespace;

// expect: type error: initializer: expected node*, got int*
typecheck on;
struct node { int v; };
typedef node* link;
fn main() { int n = 0; link p = &n; return 0; }