Attachment: Download

is duplicated by:

• SR-13127 Typealias does not seem to transmit constraints to extensions

Issue Description:

Example: If the extension works at all, then EE<T>.extensionProperty should work, but not E<T>.extensionProperty.

enum E<T> { }

typealias EE<T> = E< E<T> >

extension EE {

static var extensionProperty: Int { 1 }

}

EE<Bool>.extensionProperty

E<String>.extensionProperty