| // RUN: %target-swift-frontend -emit-silgen %s | FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-%target-runtime |
| |
| public protocol P {} |
| extension Int: P {} |
| |
| public class A {} |
| public class B: A { |
| // CHECK-LABEL: sil @_TFC16optional_to_bool1Bg1x |
| // CHECK: select_enum {{%.*}} : $Optional<Int> |
| public lazy var x: Int = 0 |
| // CHECK-LABEL: sil @_TFC16optional_to_bool1Bg1y |
| // CHECK: select_enum_addr {{%.*}} : $*Optional<P> |
| public lazy var y: P = 0 |
| } |
| |
| // Collection casting is not implemented in non-ObjC runtime |
| #if _runtime(_ObjC) |
| |
| // CHECK-objc-LABEL: sil @_TF16optional_to_bool3foo |
| public func foo(x: inout [A]) -> Bool { |
| // CHECK-objc: select_enum {{%.*}} : $Optional<Array<B>> |
| return x is [B] |
| } |
| |
| #endif |
