 // CHECK: extension AccessFilter.UFIStruct : AccessFilter.PublicProto {{[{]$}}
 extension UFIStruct: PublicProto {
   // CHECK-NEXT: @usableFromInline
+  // CHECK-NEXT: internal func requirement()
+  @usableFromInline func requirement() {}
+  internal static var dummy: Int { return 0 }
+  // CHECK-NEXT: @usableFromInline
   // CHECK-NEXT: internal typealias Assoc = Swift.Int
-
-  // FIXME: Is it okay for this non-@usableFromInline implementation to satisfy
-  // the protocol?
-  func requirement() {}
-  internal static var dummy: Int { return 0 }
 } // CHECK-NEXT: {{^[}]$}}
 
 // CHECK: public enum PublicEnum {{[{]$}}

// RUN: %target-swift-frontend -typecheck -emit-module-interface-path %t.swiftinterface %s -module-name AccessFilter -requirement-machine-inferred-signatures=on
// RUN: %FileCheck %s < %t.swiftinterface
// RUN: %FileCheck -check-prefix NEGATIVE %s < %t.swiftinterface



// CHECK: extension AccessFilter.PublicStruct {{[{]$}}
extension PublicStruct {
  // CHECK: public static var secretlySettable: Swift.Int {
  // CHECK-NEXT: get
  // CHECK-NEXT: }
  public private(set) static var secretlySettable: Int = 0
