start ::= <<test>>

// Test output for an unconstrained type variable
for[T] test ::= <<ctor_name[T]>>

// output: [unconstrained VarId(1)]
