// CHECK:
//   Mangled name: A
//   Public signature: /A|null[0]
class A : Java1<Nothing> {
  // 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.Nothing?
  //   Public signature: /A.bar|3558363943026565141[0]
  //   Public signature debug description: bar(){}kotlin.Nothing?
  /* fake */ override fun bar(): Nothing?

  // CHECK:
  //   Mangled name: A#foo(kotlin.Nothing?){}
  //   Public signature: /A.foo|-6013379405170320929[0]
  //   Public signature debug description: foo(kotlin.Nothing?){}
  /* fake */ override fun foo(t: Nothing?): Unit

}

// CHECK:
//   Mangled name: B
//   Public signature: /B|null[0]
class B : Java1<Nothing?> {
  // 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.Nothing?
  //   Public signature: /B.bar|3558363943026565141[0]
  //   Public signature debug description: bar(){}kotlin.Nothing?
  /* fake */ override fun bar(): Nothing?

  // CHECK:
  //   Mangled name: B#foo(kotlin.Nothing?){}
  //   Public signature: /B.foo|-6013379405170320929[0]
  //   Public signature debug description: foo(kotlin.Nothing?){}
  /* fake */ override fun foo(t: Nothing?): Unit

}

// CHECK:
//   Mangled name: #test(A;B){}
//   Public signature: /test|-2533013708701322011[0]
//   Public signature debug description: test(A;B){}
fun test(a: A, b: B): Unit
