| // RUN: %target-swift-frontend -Xllvm -new-mangling-for-tests -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 @_T028specialize_property_behavior8exerciseyyF |
| // CHECK: function_ref @_T028specialize_property_behavior8whateverxylFSi_Tg5 |
