You might find some or all of these threads relevant:
How does associatedtype inference work
Typealias in constrained extension, should this compile?
Should this program really compile (is the where clause ignored)?
You might find some or all of these threads relevant:
How does associatedtype inference work
Typealias in constrained extension, should this compile?
Should this program really compile (is the where clause ignored)?