Mar 18, 2026, 8:27 PMit's finally happened. i've been using #RustLang for ~11yrs now, and i have finally encountered a non-contrived situation where i need the `for<'a>` syntax.
- Mar 18, 2026, 8:27 PM
Replies
Benjamin Geerbenjamingeer@piaille.frMar 18, 2026, 8:41 PM@carol I had a situation recently where the compiler told me it expected one of those (I think it was a for<‘a, ‘b, ‘c>), but I couldn’t for the life of me figure out how to make it. In the end I refactored the code so it wasn’t needed. Is there a good guide explaining how to use those things?
- Mar 18, 2026, 10:18 PM
@benjamingeer
I haven't found a good guide yet... I figured out that I needed it from good old stack overflow. The guides I've tried to read in the past have been too type- theoretical for my heavily-practition-leaning brain - Benjamin Geerbenjamingeer@piaille.frMar 19, 2026, 9:56 AM
@carol That's actually very reassuring! This is only my first year using Rust, so I'll look forward to not needing to know any more about that topic for the next 11 years 😀
Ted Mielczarektedmielczarek@mastodon.socialMar 19, 2026, 11:35 AM@carol @benjamingeer the few rare occasions I've written them did make me feel like I was writing a math proof instead of programming. "Let us suppose there exists some type T for which all 'a…"
Federico Mena Quinterofedericomena@mstdn.mxMar 18, 2026, 8:55 PM@carol or as I like to call it, the Highly Recalcitrant Trait Bullshit.