[Zagitta]

I think you missed the point of Jon's talk, it was in large to highlight some deficiencies that currently exist in the language but are actively being worked on.

As he mentioned the current situation with return position impl trait + 'a was surprising even to some of the core rustc developers so it's not like they intended for it to be like that.