Arrays of uninhabited types were considered to also be uninhabited if their length had not been evaluated, causing unsoundness.