The type checker needs to look up the VTs anyway, so it makes more sense to put the error check there as well.
