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

  // CHECK JVM_IR:
  //   Mangled name: A#bar(){}kotlin.collections.MutableList<kotlin.Any?>?
  //   Public signature: /A.bar|2549972836650137141[0]
  //   Public signature debug description: bar(){}kotlin.collections.MutableList<kotlin.Any?>?
  /* fake */ override fun bar(): MutableList<Any?>?

  // CHECK:
  //   Mangled name: A#foo(kotlin.collections.MutableList<kotlin.Any?>?){}
  //   Public signature: /A.foo|1823979372554704958[0]
  //   Public signature debug description: foo(kotlin.collections.MutableList<kotlin.Any?>?){}
  /* fake */ override fun foo(a: MutableList<Any?>?): Unit

}

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

  // CHECK JVM_IR:
  //   Mangled name: B#bar(){}kotlin.collections.MutableList<kotlin.Any?>
  //   Public signature: /B.bar|2717899934593573586[0]
  //   Public signature debug description: bar(){}kotlin.collections.MutableList<kotlin.Any?>
  override fun bar(): MutableList<Any?>

  // CHECK:
  //   Mangled name: B#foo(kotlin.collections.MutableList<kotlin.Any?>?){}
  //   Public signature: /B.foo|1823979372554704958[0]
  //   Public signature debug description: foo(kotlin.collections.MutableList<kotlin.Any?>?){}
  override fun foo(a: MutableList<Any?>?): Unit

  // CHECK:
  //   Mangled name: B{}a
  //   Public signature: /B.a|-1200697420457237799[0]
  //   Public signature debug description: {}a
  val a: MutableList<Any?>
    // CHECK JVM_IR:
    //   Mangled name: B#<get-a>(){}kotlin.collections.MutableList<kotlin.Any?>
    //   Public signature: /B.a.<get-a>|-8966201178303059902[0]
    //   Public signature debug description: <get-a>(){}kotlin.collections.MutableList<kotlin.Any?>
    get(): MutableList<Any?>

}

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

  // CHECK JVM_IR:
  //   Mangled name: C#bar(){}kotlin.collections.MutableList<kotlin.Any?{EnhancedNullability}>?
  //   Public signature: /C.bar|282174274715366837[0]
  //   Public signature debug description: bar(){}kotlin.collections.MutableList<kotlin.Any?{EnhancedNullability}>?
  @Override
  /* fake */ override fun bar(): MutableList<@EnhancedNullability Any?>?

  // CHECK:
  //   Mangled name: C#foo(kotlin.collections.MutableList<kotlin.Any?>?){}
  //   Public signature: /C.foo|1823979372554704958[0]
  //   Public signature debug description: foo(kotlin.collections.MutableList<kotlin.Any?>?){}
  @Override
  /* fake */ override fun foo(a: MutableList<Any?>?): Unit

}

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

  // CHECK JVM_IR:
  //   Mangled name: D#bar(){}kotlin.collections.MutableList<kotlin.Any?>
  //   Public signature: /D.bar|2717899934593573586[0]
  //   Public signature debug description: bar(){}kotlin.collections.MutableList<kotlin.Any?>
  override fun bar(): MutableList<Any?>

  // CHECK:
  //   Mangled name: D#foo(kotlin.collections.MutableList<kotlin.Any?>){}
  //   Public signature: /D.foo|-988911284811620369[0]
  //   Public signature debug description: foo(kotlin.collections.MutableList<kotlin.Any?>){}
  override fun foo(a: MutableList<Any?>): Unit

  // CHECK:
  //   Mangled name: D{}a
  //   Public signature: /D.a|-1200697420457237799[0]
  //   Public signature debug description: {}a
  val a: MutableList<Any?>
    // CHECK JVM_IR:
    //   Mangled name: D#<get-a>(){}kotlin.collections.MutableList<kotlin.Any?>
    //   Public signature: /D.a.<get-a>|-8966201178303059902[0]
    //   Public signature debug description: <get-a>(){}kotlin.collections.MutableList<kotlin.Any?>
    get(): MutableList<Any?>

}

// CHECK:
//   Mangled name: #test(A;B;C;D){}
//   Public signature: /test|7656439746344069424[0]
//   Public signature debug description: test(A;B;C;D){}
fun test(a: A, b: B, c: C, d: D): Unit
