> At a technical level, Rust could be amended to address these problems

I don’t think it can, no.