Yeah luckily this was easy to spot at the time because the code (written before impl trait and '_) was previously returning `Box<dyn Iterator<Box<dyn Stage + 'a>> + 'a>`. I was just curious if I could omit any/both of those lifetimes now.
-
You can get quite far with reconstructing it and infer things from context (like suggesting '_ on all dyn/impl traits) but for more complex cases we'll still have something slightly incorrect, I fear. Until we refactor the lifetime analysis to hold on to more type data for errors
-
-
Hahaha
-
- 9 more replies
New conversation -
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.