> a mistake of the 1983 Ada standard ... which has been removed The article was written in 2011, and the trick still seems to work in a 2024 version of GNAT.

> a mistake of the 1983 Ada standard ... which has been removed The article was written in 2011, and the trick still seems to work in a 2024 version of GNAT. > Both "unchecked" Ada and "unsafe" Rust But the `Conversion` function isn't using `Unchecked_*`. That's the point of the article. The type safety hole is in "safe" Ada.