The features of Ada have generally been designed to prevent violating the properties of data types, enforced either by compile-time rules or, in the case of dynamic properties, by using run-time checks. Ada allows run-time checks to be suppressed, but not with the intent of allowing programmers to subvert the type system.
/lp/association-for-computing-machinery/gem-63-the-effect-of-pragma-suppress-flpJnIk128