| // RUN: rm -rf %t && mkdir %t |
| // RUN: %target-build-swift -emit-library %s %S/Inputs/protocol-conformance-member-helper.swift -o %t/libTest.dylib -module-name Test |
| // RUN: llvm-nm %t/libTest.dylib | FileCheck %s |
| |
| // CHECK: _TFV4Test10CoolStructg10coolFactorSd |
| |
| // SR-156: Make sure we synthesize getters for members used as protocol |
| // witnesses. Check that we link correctly; we don't care which file |
| // synthesizes it. |
| |
| protocol CoolStructProtocol { |
| var coolFactor: Double { get } |
| } |
| extension CoolStruct : CoolStructProtocol {} |
