Invalid redeclaration compile error when extending generic type in more than one way

You might find some or all of these threads relevant:

Matching behavior with expectations for associated types and typealiases in constrained protocol extensions

How does associatedtype inference work

Typealias in constrained extension, should this compile?

Should this program really compile (is the where clause ignored)?

What kind of magic behavior is this?

1 Like