Nicole Heinimann
LightNews LightNews
banner
saltypeppermint.bsky.social
Nicole Heinimann
@saltypeppermint.bsky.social
130 followers 180 following 70 posts
Where are my types, I can't see without my types!

PhD student @tuberlin.bsky.social
https://ipv3.org
Ask me about EGraphs, Compilers, GPU-Computing and Rust
Opinions are those of your pet
Posts Replies Media Videos
saltypeppermint.bsky.social
Hard to find a C++ advocate in PL these days but good to see you're fighting the bad fight.
November 15, 2025 at 7:21 PM
saltypeppermint.bsky.social
"Yeah but what if I'm a super special birthday boy and promise to uphold safety invariants..."
Screenshot from the Rustonomican on Transmutes. https://doc.rust-lang.org/nomicon/transmutes.html The following is highlighted: Transmuting an & to &mut is Undefined Behavior. While certain usages may appear safe, note that the Rust optimizer is free to assume that a shared reference won't change through its lifetime and thus such transmutation will run afoul of those assumptions. So: Transmuting an & to &mut is always Undefined Behavior. No you can't do it. No you're not special.
November 1, 2025 at 8:44 AM