What's the intended behavior here (associated type with default type, conditional conformances)?

[anthonylatsis]

@Jens

I just realized that a similar issue (maybe the same?) can be demonstrated without any protocols using this program:

struct S<T> {
    var v: A // Compiler says A is String here too
}
extension S where T == Double {
    typealias A = String
}

That's right. A defect that was most likely introduced together with conditional conformances. This is simply use of undeclared type A where v is.