Comment Comment by trott > a mistake of the 1983 Ada standard ... which has been removedThe article was written in 2011, and the trick still seems to work in a 2024 version of GNAT.> Both "unchecked" Ada and "unsafe" RustBut the `Conversion` function isn't using `Unchecked_*`. That's the point of the article. The type safety hole is in "safe" Ada. parent trott 1 year ago
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.