fn f(t:for<>t?)
//~^ ERROR: expected one of
//~| ERROR: invalid `?` in type