make sure Array[Type].new(NonType) dies with X::TypeCheck