// MODULE: separate
// MODULE: main
// FILE: 1.kt

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

  // CHECK:
  //   Mangled name: A#bar(kotlin.Any?){}
  //   Public signature: /A.bar|2391259649441243134[0]
  //   Public signature debug description: bar(kotlin.Any?){}
  override fun bar(o: Any?): Unit

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

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

}

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

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

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

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

}

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

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

  // CHECK:
  //   Mangled name: C#bar(kotlin.Int){}
  //   Public signature: /C.bar|-6662241134515685168[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]
class D : Java1, SeparateModuleJava2 {
  // CHECK:
  //   Mangled name: D#<init>(){}
  //   Public signature: /D.<init>|-5645683436151566731[0]
  //   Public signature debug description: <init>(){}
  constructor() /* primary */

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

  // 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 JVM_IR:
  //   Mangled name: D#foo(){}kotlin.Int
  //   Public signature: /D.foo|-1256155405684507276[0]
  //   Public signature debug description: foo(){}kotlin.Int
  override fun foo(): Int

}

// CHECK:
//   Mangled name: E
//   Public signature: /E|null[0]
class E : Java1, KotlinInterface {
  // CHECK:
  //   Mangled name: E{}a
  //   Public signature: /E.a|-1200697420457237799[0]
  //   Public signature debug description: {}a
  override var a: Int
    // CHECK JVM_IR:
    //   Mangled name: E#<get-a>(){}kotlin.Int
    //   Public signature: /E.a.<get-a>|4232747788241509192[0]
    //   Public signature debug description: <get-a>(){}kotlin.Int
    override get
    // CHECK:
    //   Mangled name: E#<set-a>(kotlin.Int){}
    //   Public signature: /E.a.<set-a>|-6358787123203981221[0]
    //   Public signature debug description: <set-a>(kotlin.Int){}
    override set

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

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

  // CHECK:
  //   Mangled name: E#bar(kotlin.Int){}
  //   Public signature: /E.bar|-6662241134515685168[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 : Java1, KotlinInterface {
  // 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|-6662241134515685168[0]
  //   Public signature debug description: bar(kotlin.Int){}
  abstract /* fake */ override fun bar(o: Int): Unit

  // CHECK:
  //   Mangled name: F#bar(kotlin.Any?){}
  //   Public signature: /F.bar|2391259649441243134[0]
  //   Public signature debug description: bar(kotlin.Any?){}
  override fun bar(o: Any?): Unit

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

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

}

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

  // CHECK:
  //   Mangled name: G#bar(kotlin.Any?){}
  //   Public signature: /G.bar|2391259649441243134[0]
  //   Public signature debug description: bar(kotlin.Any?){}
  override fun bar(o: Any?): Unit

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

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

  // CHECK:
  //   Mangled name: G{}a
  //   Public signature: /G.a|-1200697420457237799[0]
  //   Public signature debug description: {}a
  override var a: Int
    // CHECK JVM_IR:
    //   Mangled name: G#<get-a>(){}kotlin.Int
    //   Public signature: /G.a.<get-a>|4232747788241509192[0]
    //   Public signature debug description: <get-a>(){}kotlin.Int
    override get(): Int
    // CHECK:
    //   Mangled name: G#<set-a>(kotlin.Int){}
    //   Public signature: /G.a.<set-a>|-6358787123203981221[0]
    //   Public signature debug description: <set-a>(kotlin.Int){}
    override set(value: Int): Unit

}

// CHECK:
//   Mangled name: H
//   Public signature: /H|null[0]
abstract class H : Java1, KotlinInterface, SeparateModuleJava1 {
  // 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|-6662241134515685168[0]
  //   Public signature debug description: bar(kotlin.Int){}
  abstract /* fake */ 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
  abstract /* fake */ override fun foo(): Int

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

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

}

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

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

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

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

  // CHECK:
  //   Mangled name: I#bar(kotlin.Any?){}
  //   Public signature: /I.bar|2391259649441243134[0]
  //   Public signature debug description: bar(kotlin.Any?){}
  override fun bar(o: Any?): Unit

}

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

  // CHECK:
  //   Mangled name: J#bar(kotlin.Any?){}
  //   Public signature: /J.bar|2391259649441243134[0]
  //   Public signature debug description: bar(kotlin.Any?){}
  override fun bar(o: Any?): Unit

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

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

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

}

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

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

  // CHECK:
  //   Mangled name: KotlinInterface{}a
  //   Public signature: /KotlinInterface.a|-1200697420457237799[0]
  //   Public signature debug description: {}a
  abstract var a: Int
    // CHECK JVM_IR:
    //   Mangled name: KotlinInterface#<get-a>(){}kotlin.Int
    //   Public signature: /KotlinInterface.a.<get-a>|4232747788241509192[0]
    //   Public signature debug description: <get-a>(){}kotlin.Int
    abstract get
    // CHECK:
    //   Mangled name: KotlinInterface#<set-a>(kotlin.Int){}
    //   Public signature: /KotlinInterface.a.<set-a>|-6358787123203981221[0]
    //   Public signature debug description: <set-a>(kotlin.Int){}
    abstract set

}

// CHECK:
//   Mangled name: KotlinInterface2
//   Public signature: /KotlinInterface2|null[0]
interface KotlinInterface2 {
  // CHECK:
  //   Mangled name: KotlinInterface2#bar(kotlin.Any){}
  //   Public signature: /KotlinInterface2.bar|182691292061191550[0]
  //   Public signature debug description: bar(kotlin.Any){}
  abstract fun bar(o: Any): Unit

  // CHECK JVM_IR:
  //   Mangled name: KotlinInterface2#foo(){}kotlin.Any
  //   Public signature: /KotlinInterface2.foo|-9059697968601777418[0]
  //   Public signature debug description: foo(){}kotlin.Any
  abstract fun foo(): Any

  // CHECK:
  //   Mangled name: KotlinInterface2{}a
  //   Public signature: /KotlinInterface2.a|-1200697420457237799[0]
  //   Public signature debug description: {}a
  abstract var a: Any
    // CHECK JVM_IR:
    //   Mangled name: KotlinInterface2#<get-a>(){}kotlin.Any
    //   Public signature: /KotlinInterface2.a.<get-a>|2674885770872562036[0]
    //   Public signature debug description: <get-a>(){}kotlin.Any
    abstract get
    // CHECK:
    //   Mangled name: KotlinInterface2#<set-a>(kotlin.Any){}
    //   Public signature: /KotlinInterface2.a.<set-a>|-6749232401949477374[0]
    //   Public signature debug description: <set-a>(kotlin.Any){}
    abstract set

}

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