[fweimer]

The underlying object type would still be mutable in this case, you just can't get a &mut reference to the object.

[jjtheblunt]

You get a segmentation violation if you try writing to a read-only page as in variables in a .text segment.

Are we talking about different things? I'm writing Rust too (and decades of C) and feel I'm missing what you're describing, perhaps.