Careful here, there was no `toBasetype` involved before.