yosh on Nostr: nprofile1q…pknye I wish I was better at lifetimes and stuff so I could: 1. Explain ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqcac53ctxxt6t5tx7my86hyh0zk42z7d083j9w7pg0shpzptpfjss7pknye (nprofile…knye)
I wish I was better at lifetimes and stuff so I could:
1. Explain all of this stuff
2. Navigate it with confidence
Like, my best attempt to explain this is that this relies on GATs, which are pretty weird. And I believe we need the `for<‘a>` bound there because we’re doing higher-kinded lifetime things, and the issue is exactly that we’re connecting two things together that are independent of the self-type.
This is definitely on the edge of what Rust can do.
I wish I was better at lifetimes and stuff so I could:
1. Explain all of this stuff
2. Navigate it with confidence
Like, my best attempt to explain this is that this relies on GATs, which are pretty weird. And I believe we need the `for<‘a>` bound there because we’re doing higher-kinded lifetime things, and the issue is exactly that we’re connecting two things together that are independent of the self-type.
This is definitely on the edge of what Rust can do.