// CHECK:
//   Mangled name: A
//   Public signature: /A|null[0]
open 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.String?{EnhancedNullability}
  //   Public signature: /A.bar|7290041286951472444[0]
  //   Public signature debug description: bar(){}kotlin.String?{EnhancedNullability}
  /* fake */ override fun bar(): @EnhancedNullability String?

  // CHECK:
  //   Mangled name: A#foo(kotlin.String?{EnhancedNullability}){}
  //   Public signature: /A.foo|5501098881315880089[0]
  //   Public signature debug description: foo(kotlin.String?{EnhancedNullability}){}
  /* fake */ override fun foo(s: @EnhancedNullability String?): 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.String
  //   Public signature: /B.bar|1214702899383694193[0]
  //   Public signature debug description: bar(){}kotlin.String
  override fun bar(): String

  // CHECK:
  //   Mangled name: B#foo(kotlin.String?){}
  //   Public signature: /B.foo|-7402282804178432687[0]
  //   Public signature debug description: foo(kotlin.String?){}
  override fun foo(s: String?): Unit

}

// 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.String?{EnhancedNullability}
  //   Public signature: /C.bar|7290041286951472444[0]
  //   Public signature debug description: bar(){}kotlin.String?{EnhancedNullability}
  @Override
  /* fake */ override fun bar(): @EnhancedNullability String?

  // CHECK:
  //   Mangled name: C#foo(kotlin.String?{EnhancedNullability}){}
  //   Public signature: /C.foo|5501098881315880089[0]
  //   Public signature debug description: foo(kotlin.String?{EnhancedNullability}){}
  @Override
  /* fake */ override fun foo(s: @EnhancedNullability String?): 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.String
  //   Public signature: /D.bar|1214702899383694193[0]
  //   Public signature debug description: bar(){}kotlin.String
  override fun bar(): String

  // CHECK:
  //   Mangled name: D#foo(kotlin.String?){}
  //   Public signature: /D.foo|-7402282804178432687[0]
  //   Public signature debug description: foo(kotlin.String?){}
  override fun foo(s: String?): Unit

}

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

  // CHECK JVM_IR:
  //   Mangled name: E#bar(){}kotlin.String?{EnhancedNullability}
  //   Public signature: /E.bar|7290041286951472444[0]
  //   Public signature debug description: bar(){}kotlin.String?{EnhancedNullability}
  /* fake */ override fun bar(): @EnhancedNullability String?

  // CHECK:
  //   Mangled name: E#foo(kotlin.Any?){}
  //   Public signature: /E.foo|-6211124056249407422[0]
  //   Public signature debug description: foo(kotlin.Any?){}
  abstract /* fake */ override fun foo(s: Any?): Unit

  // CHECK:
  //   Mangled name: E#foo(kotlin.String?{EnhancedNullability}){}
  //   Public signature: /E.foo|5501098881315880089[0]
  //   Public signature debug description: foo(kotlin.String?{EnhancedNullability}){}
  /* fake */ override fun foo(s: @EnhancedNullability String?): Unit

}

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

  // CHECK JVM_IR:
  //   Mangled name: F#bar(){}kotlin.String?{EnhancedNullability}
  //   Public signature: /F.bar|7290041286951472444[0]
  //   Public signature debug description: bar(){}kotlin.String?{EnhancedNullability}
  /* fake */ override fun bar(): @EnhancedNullability String?

  // CHECK:
  //   Mangled name: F#foo(kotlin.String?{EnhancedNullability}){}
  //   Public signature: /F.foo|5501098881315880089[0]
  //   Public signature debug description: foo(kotlin.String?{EnhancedNullability}){}
  /* fake */ override fun foo(s: @EnhancedNullability String?): Unit

  // CHECK:
  //   Mangled name: F#foo(kotlin.Any?){}
  //   Public signature: /F.foo|-6211124056249407422[0]
  //   Public signature debug description: foo(kotlin.Any?){}
  override fun foo(s: Any?): Unit

}

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

  // CHECK JVM_IR:
  //   Mangled name: G#bar(){}kotlin.String?{EnhancedNullability}
  //   Public signature: /G.bar|7290041286951472444[0]
  //   Public signature debug description: bar(){}kotlin.String?{EnhancedNullability}
  /* fake */ override fun bar(): @EnhancedNullability String?

  // CHECK:
  //   Mangled name: G#foo(kotlin.Any){}
  //   Public signature: /G.foo|-3585887913961670341[0]
  //   Public signature debug description: foo(kotlin.Any){}
  abstract /* fake */ override fun foo(s: Any): Unit

  // CHECK:
  //   Mangled name: G#foo(kotlin.String?{EnhancedNullability}){}
  //   Public signature: /G.foo|5501098881315880089[0]
  //   Public signature debug description: foo(kotlin.String?{EnhancedNullability}){}
  /* fake */ override fun foo(s: @EnhancedNullability String?): Unit

  // CHECK:
  //   Mangled name: G{}nullableString
  //   Public signature: /G.nullableString|-5031128639215906993[0]
  //   Public signature debug description: {}nullableString
  abstract /* fake */ override val nullableString: Any
    // CHECK JVM_IR:
    //   Mangled name: G#<get-nullableString>(){}kotlin.Any
    //   Public signature: /G.nullableString.<get-nullableString>|1496833730388071426[0]
    //   Public signature debug description: <get-nullableString>(){}kotlin.Any
    abstract /* fake */ override get(): Any

}

// CHECK:
//   Mangled name: H
//   Public signature: /H|null[0]
class H : Java2, KotlinInterface {
  // CHECK:
  //   Mangled name: H{}nullableString
  //   Public signature: /H.nullableString|-5031128639215906993[0]
  //   Public signature debug description: {}nullableString
  override val nullableString: Any
    // CHECK JVM_IR:
    //   Mangled name: H#<get-nullableString>(){}kotlin.Any
    //   Public signature: /H.nullableString.<get-nullableString>|1496833730388071426[0]
    //   Public signature debug description: <get-nullableString>(){}kotlin.Any
    override get

  // CHECK:
  //   Mangled name: H#<init>(kotlin.Any){}
  //   Public signature: /H.<init>|4518179880532599055[0]
  //   Public signature debug description: <init>(kotlin.Any){}
  constructor(nullableString: Any) /* primary */

  // CHECK JVM_IR:
  //   Mangled name: H#bar(){}kotlin.String?{EnhancedNullability}
  //   Public signature: /H.bar|7290041286951472444[0]
  //   Public signature debug description: bar(){}kotlin.String?{EnhancedNullability}
  /* fake */ override fun bar(): @EnhancedNullability String?

  // CHECK:
  //   Mangled name: H#foo(kotlin.String?{EnhancedNullability}){}
  //   Public signature: /H.foo|5501098881315880089[0]
  //   Public signature debug description: foo(kotlin.String?{EnhancedNullability}){}
  /* fake */ override fun foo(s: @EnhancedNullability String?): Unit

  // CHECK:
  //   Mangled name: H#foo(kotlin.Any){}
  //   Public signature: /H.foo|-3585887913961670341[0]
  //   Public signature debug description: foo(kotlin.Any){}
  override fun foo(s: Any): Unit

}

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

  // CHECK JVM_IR:
  //   Mangled name: I#bar(){}kotlin.String?{EnhancedNullability}
  //   Public signature: /I.bar|7290041286951472444[0]
  //   Public signature debug description: bar(){}kotlin.String?{EnhancedNullability}
  /* fake */ override fun bar(): @EnhancedNullability String?

  // CHECK:
  //   Mangled name: I#foo(kotlin.String?{EnhancedNullability}){}
  //   Public signature: /I.foo|5501098881315880089[0]
  //   Public signature debug description: foo(kotlin.String?{EnhancedNullability}){}
  /* fake */ override fun foo(s: @EnhancedNullability String?): Unit

}

// CHECK:
//   Mangled name: KotlinInterface
//   Public signature: /KotlinInterface|null[0]
interface KotlinInterface {
  // CHECK JVM_IR:
  //   Mangled name: KotlinInterface#bar(){}kotlin.Any?
  //   Public signature: /KotlinInterface.bar|-8552338359875258022[0]
  //   Public signature debug description: bar(){}kotlin.Any?
  abstract fun bar(): Any?

  // CHECK:
  //   Mangled name: KotlinInterface#foo(kotlin.Any){}
  //   Public signature: /KotlinInterface.foo|-3585887913961670341[0]
  //   Public signature debug description: foo(kotlin.Any){}
  abstract fun foo(s: Any): Unit

  // CHECK:
  //   Mangled name: KotlinInterface{}nullableString
  //   Public signature: /KotlinInterface.nullableString|-5031128639215906993[0]
  //   Public signature debug description: {}nullableString
  abstract val nullableString: Any
    // CHECK JVM_IR:
    //   Mangled name: KotlinInterface#<get-nullableString>(){}kotlin.Any
    //   Public signature: /KotlinInterface.nullableString.<get-nullableString>|1496833730388071426[0]
    //   Public signature debug description: <get-nullableString>(){}kotlin.Any
    abstract get

}

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