Define "existential impl Trait" and "universal impl Trait"

[rylev]

In the section on AST to HIR lowering, these terms are used without explanation or definition. Perhaps they should be added to the glossary and then linked to.

[jyn514]

'existential' means types in return position (-> impl Future), 'universal' means in argument position (f: impl Future).