// RUN: rm -rf %t && mkdir -p %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 {}
