but yea... the lack of abstract return types (and abstract locals) is probably the biggest papercut right now.

impl Trait

is the issue to watch. the initial version only tackles abstract return types, afaik though.