Programs never have to be rejected; programs can be diagnosed (so we are informed) and run anyway.

Programs have to be rejected if there is no safe way to handle them at run-time, when for the sake of efficiency we removed the type bits from the data. (And not even always then; the programmer may have assured safety otherwise.)