iiinova — where your digital self keeps evolving

radbuglet

@radbuglet.bsky.social

22 followers 135 following 55 posts

Posts Replies Media

radbuglet @radbuglet.bsky.social · 15/09/2026

010

radbuglet @radbuglet.bsky.social · 21/06/2026

Highlighter for sensitive skin

a picture of a secure marker redacting a document

000

radbuglet @radbuglet.bsky.social · 07/04/2026

Heartwarming.

$A screenshot of a new diagnostic for the same code snippet as earlier. The diagnostic reads “error: could not unify `(&'_ for<T> crate::Trait<((),)>,)` and `(&'_ for<T> crate::Trait<(HrtbVar(DebruijnRelative { raw: 1 }),)>,)`,” suggesting that higher-ranked trait bound variable leaks are now fixed.$

010

radbuglet @radbuglet.bsky.social · 07/04/2026

Tragic.

A screenshot of some Clay code from https://github.com/caelunshun/clay/blob/fc16d39a7de7e57447cb2e59ce6fed929ed402af/crates/frontend/samples/test29.fir#L12-L32 with a setup to attempt to leak a higher-ranked trait bound variable from the binder.

A diagnostic stating that the compiler “could not unify `HrtbVar(DebruijnRelative { raw: 1 })` and `()`,” confirming that, indeed, the higher-ranked trait bound variable has been leaked.

110

radbuglet @radbuglet.bsky.social · 12/03/2026

Is your ampersand key broken? No worries! Rust's got you covered! play.rust-lang.org?version=stab...

A screenshot from the playground linked above. It achieves the same as the first post in the thread but does so without using ampersands.

010

radbuglet @radbuglet.bsky.social · 12/03/2026

Now, say you wanted to write `let mut c = &mut *d;` using patterns. Not to worry! Just enable the unstable `mut_ref` feature and write `let &mut mut ref mut c = d;`. It's a cinch! play.rust-lang.org?version=nigh...