namespace;
include rt;

// expect: type error: argument: expected int[?], got fixed int[?]
typecheck on;
int take(int[?].m g) { return len(g); }
fn main() { fixed int[?] f = rt.new(fixed int[?], 3); take(f); rt.free(d*f); return 0; }