| // RUN: %target-swift-frontend -assume-parsing-unqualified-ownership-sil %s -emit-ir | %FileCheck %s |
| |
| public protocol A {} |
| |
| public class AC : A{} |
| |
| public class CVC<A1: AC> where A1: A { |
| // CHECK-LABEL: define{{.*}} @"$S21superclass_constraint3CVCCACyxGycfc" |
| public init() { |
| // CHECK: [[A:%.*]] = alloca %T21superclass_constraint3CVCC* |
| // CHECK-NOT: ret %T21superclass_constraint3CVCC* |
| // CHECK: store %T21superclass_constraint3CVCC* %0, %T21superclass_constraint3CVCC** [[A]] |
| // CHECK: ret %T21superclass_constraint3CVCC* |
| var a = self |
| } |
| } |