// CHECK:
//   Mangled name: B
//   Public signature: /B|null[0]
abstract class B : Java1<Int> {
  // CHECK:
  //   Mangled name: B#<init>(){}
  //   Public signature: /B.<init>|-5645683436151566731[0]
  //   Public signature debug description: <init>(){}
  constructor() /* primary */

  // CHECK:
  //   Mangled name: B#bar(kotlin.Int?){}
  //   Public signature: /B.bar|-1079723147832234082[0]
  //   Public signature debug description: bar(kotlin.Int?){}
  abstract /* fake */ override fun bar(o: Int?): Unit

  // CHECK JVM_IR:
  //   Mangled name: B#foo(){}kotlin.Int?
  //   Public signature: /B.foo|4386114666656259650[0]
  //   Public signature debug description: foo(){}kotlin.Int?
  abstract /* fake */ override fun foo(): Int?

  // CHECK:
  //   Mangled name: B{}a
  //   Public signature: /B.a|-1200697420457237799[0]
  //   Public signature debug description: {}a
  abstract /* fake */ override var a: Int?
    // CHECK JVM_IR:
    //   Mangled name: B#<get-a>(){}kotlin.Int?
    //   Public signature: /B.a.<get-a>|8626555410289046118[0]
    //   Public signature debug description: <get-a>(){}kotlin.Int?
    abstract /* fake */ override get(): Int?
    // CHECK:
    //   Mangled name: B#<set-a>(kotlin.Int?){}
    //   Public signature: /B.a.<set-a>|2647302406012856704[0]
    //   Public signature debug description: <set-a>(kotlin.Int?){}
    abstract /* fake */ override set(<set-?>: Int?): Unit

}

// CHECK:
//   Mangled name: C
//   Public signature: /C|null[0]
class C : Java1<Int> {
  // CHECK:
  //   Mangled name: C{}a
  //   Public signature: /C.a|-1200697420457237799[0]
  //   Public signature debug description: {}a
  override var a: Int?
    // CHECK JVM_IR:
    //   Mangled name: C#<get-a>(){}kotlin.Int?
    //   Public signature: /C.a.<get-a>|8626555410289046118[0]
    //   Public signature debug description: <get-a>(){}kotlin.Int?
    override get
    // CHECK:
    //   Mangled name: C#<set-a>(kotlin.Int?){}
    //   Public signature: /C.a.<set-a>|2647302406012856704[0]
    //   Public signature debug description: <set-a>(kotlin.Int?){}
    override set

  // CHECK:
  //   Mangled name: C#<init>(kotlin.Int?){}
  //   Public signature: /C.<init>|4997534145603685700[0]
  //   Public signature debug description: <init>(kotlin.Int?){}
  constructor(a: Int?) /* primary */

  // CHECK:
  //   Mangled name: C#bar(kotlin.Int?){}
  //   Public signature: /C.bar|-1079723147832234082[0]
  //   Public signature debug description: bar(kotlin.Int?){}
  override fun bar(o: Int?): Unit

  // CHECK JVM_IR:
  //   Mangled name: C#foo(){}kotlin.Int
  //   Public signature: /C.foo|-1256155405684507276[0]
  //   Public signature debug description: foo(){}kotlin.Int
  override fun foo(): Int

}

// CHECK:
//   Mangled name: D
//   Public signature: /D|null[0]
abstract class D : Java1<Int> {
  // CHECK:
  //   Mangled name: D{}a
  //   Public signature: /D.a|-1200697420457237799[0]
  //   Public signature debug description: {}a
  override var a: Int?
    // CHECK JVM_IR:
    //   Mangled name: D#<get-a>(){}kotlin.Int?
    //   Public signature: /D.a.<get-a>|8626555410289046118[0]
    //   Public signature debug description: <get-a>(){}kotlin.Int?
    override get
    // CHECK:
    //   Mangled name: D#<set-a>(kotlin.Int?){}
    //   Public signature: /D.a.<set-a>|2647302406012856704[0]
    //   Public signature debug description: <set-a>(kotlin.Int?){}
    override set

  // CHECK:
  //   Mangled name: D#<init>(kotlin.Int?){}
  //   Public signature: /D.<init>|4997534145603685700[0]
  //   Public signature debug description: <init>(kotlin.Int?){}
  constructor(a: Int?) /* primary */

  // CHECK JVM_IR:
  //   Mangled name: D#foo(){}kotlin.Int?
  //   Public signature: /D.foo|4386114666656259650[0]
  //   Public signature debug description: foo(){}kotlin.Int?
  abstract /* fake */ override fun foo(): Int?

  // CHECK:
  //   Mangled name: D#bar(kotlin.Int){}
  //   Public signature: /D.bar|-6662241134515685168[0]
  //   Public signature debug description: bar(kotlin.Int){}
  override fun bar(o: Int): Unit

}

// CHECK:
//   Mangled name: E
//   Public signature: /E|null[0]
class E : Java2<Int> {
  // CHECK:
  //   Mangled name: E#<init>(){}
  //   Public signature: /E.<init>|-5645683436151566731[0]
  //   Public signature debug description: <init>(){}
  constructor() /* primary */

  // CHECK:
  //   Mangled name: E#bar(kotlin.Int?){}
  //   Public signature: /E.bar|-1079723147832234082[0]
  //   Public signature debug description: bar(kotlin.Int?){}
  override fun bar(o: Int?): Unit

  // CHECK JVM_IR:
  //   Mangled name: E#foo(){}kotlin.Int
  //   Public signature: /E.foo|-1256155405684507276[0]
  //   Public signature debug description: foo(){}kotlin.Int
  override fun foo(): Int

}

// CHECK:
//   Mangled name: F
//   Public signature: /F|null[0]
abstract class F : Java2<Int> {
  // CHECK:
  //   Mangled name: F#<init>(){}
  //   Public signature: /F.<init>|-5645683436151566731[0]
  //   Public signature debug description: <init>(){}
  constructor() /* primary */

  // CHECK:
  //   Mangled name: F#bar(kotlin.Int?){}
  //   Public signature: /F.bar|-1079723147832234082[0]
  //   Public signature debug description: bar(kotlin.Int?){}
  abstract /* fake */ override fun bar(o: Int?): Unit

  // CHECK JVM_IR:
  //   Mangled name: F#foo(){}kotlin.Int?
  //   Public signature: /F.foo|4386114666656259650[0]
  //   Public signature debug description: foo(){}kotlin.Int?
  abstract /* fake */ override fun foo(): Int?

}

// CHECK:
//   Mangled name: G
//   Public signature: /G|null[0]
abstract class G : Java4<Int> {
  // CHECK:
  //   Mangled name: G#<init>(){}
  //   Public signature: /G.<init>|-5645683436151566731[0]
  //   Public signature debug description: <init>(){}
  constructor() /* primary */

  // CHECK:
  //   Mangled name: G#bar(kotlin.Int?){}
  //   Public signature: /G.bar|-1079723147832234082[0]
  //   Public signature debug description: bar(kotlin.Int?){}
  abstract /* fake */ override fun bar(o: Int?): Unit

  // CHECK JVM_IR:
  //   Mangled name: G#foo(){}kotlin.Int?
  //   Public signature: /G.foo|4386114666656259650[0]
  //   Public signature debug description: foo(){}kotlin.Int?
  abstract /* fake */ override fun foo(): Int?

}

// CHECK:
//   Mangled name: H
//   Public signature: /H|null[0]
class H : Java4<Int> {
  // CHECK:
  //   Mangled name: H#<init>(){}
  //   Public signature: /H.<init>|-5645683436151566731[0]
  //   Public signature debug description: <init>(){}
  constructor() /* primary */

  // CHECK:
  //   Mangled name: H#bar(kotlin.Int?){}
  //   Public signature: /H.bar|-1079723147832234082[0]
  //   Public signature debug description: bar(kotlin.Int?){}
  override fun bar(o: Int?): Unit

  // CHECK JVM_IR:
  //   Mangled name: H#foo(){}kotlin.Int
  //   Public signature: /H.foo|-1256155405684507276[0]
  //   Public signature debug description: foo(){}kotlin.Int
  override fun foo(): Int

}

// CHECK:
//   Mangled name: A
//   Public signature: /A|null[0]
interface A<T : Any?> {
  // CHECK:
  //   Mangled name: A#bar(1:0){}
  //   Public signature: /A.bar|-7393952686038474037[0]
  //   Public signature debug description: bar(1:0){}
  abstract fun bar(o: T): Unit

  // CHECK JVM_IR:
  //   Mangled name: A#foo(){}1:0
  //   Public signature: /A.foo|-5478580208809996038[0]
  //   Public signature debug description: foo(){}1:0
  abstract fun foo(): T

  // CHECK:
  //   Mangled name: A{}a
  //   Public signature: /A.a|-1200697420457237799[0]
  //   Public signature debug description: {}a
  abstract var a: T
    // CHECK JVM_IR:
    //   Mangled name: A#<get-a>(){}1:0
    //   Public signature: /A.a.<get-a>|5765441560292063424[0]
    //   Public signature debug description: <get-a>(){}1:0
    abstract get
    // CHECK:
    //   Mangled name: A#<set-a>(1:0){}
    //   Public signature: /A.a.<set-a>|3804696573885127852[0]
    //   Public signature debug description: <set-a>(1:0){}
    abstract set

}

// CHECK:
//   Mangled name: KotlinInterface
//   Public signature: /KotlinInterface|null[0]
interface KotlinInterface<T : Any?> : Java3<T> {
  // CHECK:
  //   Mangled name: KotlinInterface#bar(1:0?){}
  //   Public signature: /KotlinInterface.bar|-4479564251750439867[0]
  //   Public signature debug description: bar(1:0?){}
  abstract /* fake */ override fun bar(o: T?): Unit

  // CHECK JVM_IR:
  //   Mangled name: KotlinInterface#foo(){}1:0?
  //   Public signature: /KotlinInterface.foo|-1179576840814333363[0]
  //   Public signature debug description: foo(){}1:0?
  abstract /* fake */ override fun foo(): T?

}

// CHECK:
//   Mangled name: #test(B;C;D;E;F;G;H){}
//   Public signature: /test|-39077339314941402[0]
//   Public signature debug description: test(B;C;D;E;F;G;H){}
fun test(b: B, c: C, d: D, e: E, f: F, g: G, h: H): Unit
