| // RUN: %target-swift-frontend -O -sil-inline-threshold 0 -emit-sil -primary-file %s | FileCheck %s |
| |
| // rdar://problem/20338028 |
| protocol PA: class { } |
| protocol PB { associatedtype B: PA } |
| |
| class CA: PA { } |
| class CB: PB { typealias B = CA } |
| |
| struct S<A: PB> { |
| @_transparent |
| func crash() -> Bool { |
| let a: A.B? = nil |
| return a === a |
| } |
| } |
| |
| // CHECK-LABEL: sil hidden @_TF20specialize_anyobject6callit |
| func callit(s: S<CB>) { |
| // CHECK: function_ref @_TFsoi3eeeFTGSqPs9AnyObject__GSqPS____Sb : $@convention(thin) (@owned Optional<AnyObject>, @owned Optional<AnyObject>) -> Bool |
| s.crash() |
| } |