// RUN: %empty-directory(%t)
// RUN: %target-build-swift -O %s -o %t/a.out
// RUN: %target-build-swift -O %s -emit-ir | %FileCheck --check-prefix=CHECK-IR %s
// RUN: %target-codesign %t/a.out
// RUN: %target-run %t/a.out | %FileCheck %s
// REQUIRES: executable_test

// Check if the runtime function swift_getObjectType is not readnone and
// therefore not re-scheduled with release-calls, which would lead to a crash
// in this example.

public protocol Proto: class {
   static func printit()
}

public final class ConformingClass : Proto {
   public static func printit() { print("okay") }
}

public final class Creator {
   @inline(never)
   public init() {}

   @inline(never)
   public func createIt() -> Proto {
      return ConformingClass ()
   }
}

func work() {
  let myProtocolType: Proto.Type = type(of: Creator().createIt())
  myProtocolType.printit()
}

// CHECK-IR: call {{.*}} @swift_getObjectType({{.*}}) #[[M:[0-9]]]
// CHECK-IR: declare {{.*}} @swift_getObjectType{{.*}} #[[M]]
// CHECK-IR: attributes #[[M]] = { nounwind readonly }

// CHECK: okay
work()