Lazy @rustlang Twitter: can you send me snippets of code where you *needed* higher kinded lifetimes?
I wish to identify as many cases as possible to categorize them and make rustc understand them and guide you in their direction.
e.g. what I really want here is something like: for<'a> { F: FnOnce<(&'a mut self)>, F::Output: Future<Output = Result<T, E>>, } but there's no way to write that without saying `F::Output` is the same for all lifetimes
-
-
But even if that existed it wouldn't help here since folks arbitrarily decided that we should only ever have the arrow syntax for fn traits because who needs projection I guess ¯\_(ツ)_/¯
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.