// RUN: %target-swift-frontend -module-name test -emit-ir -primary-file %s %S/Inputs/require-finalize-witness-other.swift -sdk %sdk -o - | %FileCheck %s

// REQUIRES: objc_interop

import Foundation

@objc class C: NSObject { }

protocol P {
  func foo(_: String)
}

// CHECK: define {{.*}} @"$s4test1CCAA1PA2aDP3fooyySSFTW"
extension C: P { }