compiler/testData/ir/irText/classes/implicitNotNullOnDelegatedImplementation.fir.kt.txt

class K1 : JFoo {
  constructor() /* primary */ {
    super/*JFoo*/()
    /* <init>() */

  }

}

class K2 : JFoo {
  constructor() /* primary */ {
    super/*JFoo*/()
    /* <init>() */

  }

  override fun foo(): String {
    return super<JFoo>.foo() /*!! String */
  }

}

class K3 : JUnrelatedFoo, IFoo {
  constructor() /* primary */ {
    super/*JUnrelatedFoo*/()
    /* <init>() */

  }

}

class K4 : JUnrelatedFoo, IFoo {
  constructor() /* primary */ {
    super/*JUnrelatedFoo*/()
    /* <init>() */

  }

  override fun foo(): @FlexibleNullability String? {
    return super<JUnrelatedFoo>.foo()
  }

}

class TestJFoo : IFoo {
  private /* final field */ val $$delegate_0: JFoo = JFoo()
  constructor() /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

  override fun foo(): String {
    return <this>.#$$delegate_0.foo() /*!! String */
  }

}

class TestK1 : IFoo {
  private /* final field */ val $$delegate_0: K1 = K1()
  constructor() /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

  override fun foo(): String {
    return <this>.#$$delegate_0.foo() /*!! String */
  }

}

class TestK2 : IFoo {
  private /* final field */ val $$delegate_0: K2 = K2()
  constructor() /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

  override fun foo(): String {
    return <this>.#$$delegate_0.foo()
  }

}

class TestK3 : IFoo {
  private /* final field */ val $$delegate_0: K3 = K3()
  constructor() /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

  override fun foo(): String {
    return <this>.#$$delegate_0.foo()
  }

}

class TestK4 : IFoo {
  private /* final field */ val $$delegate_0: K4 = K4()
  constructor() /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

  override fun foo(): String {
    return <this>.#$$delegate_0.foo() /*!! String */
  }

}

interface IFoo {
  abstract fun foo(): String

}