Typealias overriding associated type not, in fact, better expressed as same-type constraint

Evolution Discussion
6

Yes, in a sense. Why do you ask?