This is only a guess, but the typealias in the protocol extension feels to me like some sort of type shadowing instead of a conditionally default for the associated type.
Could be related:
This is only a guess, but the typealias in the protocol extension feels to me like some sort of type shadowing instead of a conditionally default for the associated type.
Could be related: