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)?