Moved to 2071-impl-trait-existential-types.md.