Given these overlapping protocol extensions, which `description` is called?

protocol P {} extension P { var label: String { "P" } } extension P where Self: Equatable { var label: String { "P+Equatable" } } struct S: P, Equatable {} print(S().label)