test/IRGen/superclass_constraint.swift

// 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{{.*}}@{{.*}}21superclass_constraint3CVCcfT_GS0_x
  public init() {
    // CHECK: [[A:%.*]] = alloca %C21superclass_constraint3CVC*
    // CHECK-NOT: ret
    // CHECK: store %C21superclass_constraint3CVC* %0, %C21superclass_constraint3CVC** [[A]]
    // CHECK: ret
    var a = self
  }
}