// CHECK:
//   Mangled name: Base
//   Public signature: /Base|null[0]
open class Base {
  // CHECK:
  //   Mangled name: Base{}bar
  //   Public signature: /Base.bar|-7864284097863469857[0]
  //   Public signature debug description: {}bar
  open val bar: String
    // CHECK JVM_IR:
    //   Mangled name: Base#<get-bar>(){}kotlin.String
    //   Public signature: /Base.bar.<get-bar>|3423724227669014303[0]
    //   Public signature debug description: <get-bar>(){}kotlin.String
    // CHECK JS_IR NATIVE:
    //   Mangled name: Base#<get-bar>(){}
    //   Public signature: /Base.bar.<get-bar>|6880642144337645699[0]
    //   Public signature debug description: <get-bar>(){}
    open get

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

  // CHECK:
  //   Mangled name: Base#foo(){}
  //   Public signature: /Base.foo|-1041209573719867811[0]
  //   Public signature debug description: foo(){}
  open fun foo(): Unit

}

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

  // CHECK:
  //   Mangled name: Derived#foo(){}
  //   Public signature: /Derived.foo|-1041209573719867811[0]
  //   Public signature debug description: foo(){}
  override fun foo(): Unit

  // CHECK:
  //   Mangled name: Derived{}bar
  //   Public signature: /Derived.bar|-7864284097863469857[0]
  //   Public signature debug description: {}bar
  override val bar: String
    // CHECK JVM_IR:
    //   Mangled name: Derived#<get-bar>(){}kotlin.String
    //   Public signature: /Derived.bar.<get-bar>|3423724227669014303[0]
    //   Public signature debug description: <get-bar>(){}kotlin.String
    // CHECK JS_IR NATIVE:
    //   Mangled name: Derived#<get-bar>(){}
    //   Public signature: /Derived.bar.<get-bar>|6880642144337645699[0]
    //   Public signature debug description: <get-bar>(){}
    override get(): String

}

// CHECK:
//   Mangled name: BaseI
//   Public signature: /BaseI|null[0]
interface BaseI {

  // CHECK:
  //   Mangled name: BaseI#foo(){}
  //   Public signature: /BaseI.foo|-1041209573719867811[0]
  //   Public signature debug description: foo(){}
  abstract fun foo(): Unit

  // CHECK:
  //   Mangled name: BaseI{}bar
  //   Public signature: /BaseI.bar|-7864284097863469857[0]
  //   Public signature debug description: {}bar
  abstract val bar: String
    // CHECK JVM_IR:
    //   Mangled name: BaseI#<get-bar>(){}kotlin.String
    //   Public signature: /BaseI.bar.<get-bar>|3423724227669014303[0]
    //   Public signature debug description: <get-bar>(){}kotlin.String
    // CHECK JS_IR NATIVE:
    //   Mangled name: BaseI#<get-bar>(){}
    //   Public signature: /BaseI.bar.<get-bar>|6880642144337645699[0]
    //   Public signature debug description: <get-bar>(){}
    abstract get

}

