Discussion Thread: DIP 1035-- at system Variables--Final Review

[Paul Backus]

On Wednesday, 23 February 2022 at 18:16:17 UTC, Paul Backus wrote:
> (I'm also not sure if it's possible in practice to tell whether 
> a file is "well behaved". If not, that means we have to either 
> accept that `write` is *always* `@system`, or allow a permanent 
> loophole in `@safe`. But that's a separate issue.)

By the way, this issue has also come up in Rust:

- https://github.com/rust-lang/rust/issues/32670
- 
https://blog.yossarian.net/2021/03/16/totally_safe_transmute-line-by-line