// RUN: %target-swift-frontend -emit-silgen %s | %FileCheck %s | |
protocol Saturable: Comparable { | |
func saturated(max: Self) -> Self | |
} | |
extension Int: Saturable { | |
func saturated(max: Int) -> Int { | |
return self > max ? max : self | |
} | |
} | |
// CHECK-NOT: sil_witness_table Int: Equatable module witnesses_refinement { | |
// CHECK-NOT: sil_witness_table Int: Comparable module witnesses_refinement { | |
// CHECK: sil_witness_table hidden Int: Saturable module witnesses_refinement { |