| // 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 |