// RUN: %target-swift-frontend -emit-sil -parse-as-library -O -enable-experimental-property-behaviors %s | %FileCheck %s | |
@inline(never) func whatever<T>() -> T { fatalError("") } | |
protocol lazzy { | |
associatedtype Value | |
} | |
extension lazzy { | |
var value: Value { | |
return whatever() | |
} | |
} | |
struct Foo { | |
var x: Int __behavior lazzy | |
init() {} | |
} | |
public func exercise() { | |
_ = Foo().x | |
} | |
// CHECK-LABEL: sil @$S28specialize_property_behavior8exerciseyyF | |
// CHECK: function_ref @$S28specialize_property_behavior8whateverxylFSi_Tg5 |