| // RUN: %target-sil-opt -assume-parsing-unqualified-ownership-sil %s | %target-sil-opt -assume-parsing-unqualified-ownership-sil | %FileCheck %s |
| // REQUIRES: objc_interop |
| |
| sil_stage raw |
| |
| import Builtin |
| import Swift |
| |
| protocol P { } |
| class C { } |
| |
| sil @general_test : $() -> () { |
| bb0: |
| // CHECK: thick_to_objc_metatype undef : $@thick C.Type to $@objc_metatype C.Type |
| thick_to_objc_metatype undef : $@thick C.Type to $@objc_metatype C.Type |
| // CHECK: objc_to_thick_metatype undef : $@objc_metatype C.Type to $@thick C.Type |
| objc_to_thick_metatype undef : $@objc_metatype C.Type to $@thick C.Type |
| // CHECK: objc_metatype_to_object undef : $@objc_metatype C.Type to $AnyObject |
| objc_metatype_to_object undef : $@objc_metatype C.Type to $AnyObject |
| // CHECK: objc_existential_metatype_to_object undef : $@objc_metatype P.Type to $AnyObject |
| objc_existential_metatype_to_object undef : $@objc_metatype P.Type to $AnyObject |
| unreachable |
| } |
