Miss Dada  🏳️‍⚧️

I'm happy that this works https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=42d893e4d8b401d160ed8f94c55228e1 … but I'm still convinced that the implicit 'static when dealing with traits was an ergonomic mistake.

Yes I 100% agree. I'm also pretty sure it's not really documented anywhere. I learned about it from some friends on the lang team

The or linked earlier (and it's predecessors) aim at documenting it, as well as teaching that 'static can mean "owned", but that later point still needs a bit of work.

Certainly better. Now if it can just recommend a suggestion that isn't nonsense ;)

Working on it. Trying things out but it'll be always a guess, because by the time we have the lifetimes we cannot tie those back to the exact part of the type.

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

Once the error is suggesting + '_ +'_ we should just send them to discord lol