`t` is already a `Basetype()` of type, so `t->toBasetype()` is redundant.