This reverts commit e2f410fe. This exposes a pre-existing bug in type legalization that is failing expensive checks.