Type check computed goto arg.