Spot the bug in protocol labeling

from Protocol constraints and existentials
Swift 6.3.3 intermediate 4 min 1 issue to find

The generic helper should print `invoice`, but it prints `default`. Find the contract bug.

swift
protocol Labeled {}
extension Labeled {
    func label() -> String { "default" }
}
struct Invoice: Labeled {
    func label() -> String { "invoice" }
}
func show<Value: Labeled>(_ value: Value) {
    print(value.label())
}
show(Invoice())
Open in playground
Report an error