> FWIW, I'd bet almost anything that this problem isn't solvable in any general way without linear types I think this part of your comment is absolutely right

> FWIW, I'd bet almost anything that this problem isn't solvable in any general way without linear types I think this part of your comment is absolutely right and it's fatal to the argument that Rust made the wrong decision about I/O models for Rust. Maybe in the context of some other language, Rust's decision was not the best one, but not for Rust, because Rust just doesn't have linear types.