So @ekuber made me realize that the fact I never know when to use higher-kinded lifetimes is not my failing. It's the Rust compiler simply not being helpful enough.
Filed an issue about what I ran into when writing Some Good Codehttps://twitter.com/yoshuawuyts/status/1232969356503638016 …
-
-
Replying to @yoshuawuyts @ekuber
**higher-rank! We also need non-type theory terminology because type theory terminology confuses most users
2 replies 0 retweets 16 likes
Replying to @withoutboats @ekuber
Oooops. Didn't realize there was a difference; +1 to that this terminology can confuse folks 
2:29 AM - 27 Feb 2020
0 replies
0 retweets
5 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.