I can't speak about the experience of writing unsafe. I haven't written any, and hope never to do so. That said, your concerns are pretty valid, widely echoed

I can't speak about the experience of writing unsafe. I haven't written any, and hope never to do so. That said, your concerns are pretty valid, widely echoed and are being taken seriously. Writing unsafe code is a chore and it needn't be. I'm hoping the newly created Operational Semantics team (https://www.rust-lang.org/governance/teams/lang#Operational%20Semantics%20team https://www.rust-lang.org/governance/teams/lang#Operational%...) makes progress here.