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

PhD student @TUBerlin
https://ipv3.org
Ask me about EGraphs, Compilers 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
saltypeppermint.bsky.social
Kann aus dem subgenre The Villainess empfehlen
September 1, 2025 at 11:15 PM