Issue Description:

Consider the following:

public protocol Tint {}
extension UIColor: Tint {}
public extension Tint where Self == UIColor {
    static var hsRed         : UIColor { .systemRed }
}

struct Model {
    let a:   (x: String, y: Tint)?
    let b:   (x: String, y: Tint)?
}

// type of expression is ambiguous without more context
let m = Model(
    a: (x: "", y: .hsRed),
    b: (x: "", y: .hsRed)
)

This code unexpectedly fails to resolve the static member .hsRed, claiming the type is ambiguous (it isn't).

1. Prefixing both or any 1 of the .hsRed with an explicit UIColor resolves the issue.
2. Reducing the members of Model down from 2 to 1 resolves the issue.
3. Reducing the type of the members from a tuple down to a plain Tint? resolves the issue.

It appears there is some interplay happening, perhaps some kind of hierarchical exhaustion, where multiple members and tuple types combine to cause SE-0299 to fail.