package test import java.util.ArrayList import org.jetbrains.annotations.* public trait LoadIterableWithPropagation { public trait LoadIterable { Mutable public fun getIterable(): MutableIterable? public fun setIterable([Mutable] p0: MutableIterable?) ReadOnly public fun getReadOnlyIterable(): Iterable? public fun setReadOnlyIterable([ReadOnly] p0: Iterable?) } public open class LoadIterableImpl : LoadIterable { public override fun getIterable(): MutableIterable? = ArrayList() public override fun setIterable(p0: MutableIterable?): Unit {} public override fun getReadOnlyIterable(): Iterable? = ArrayList() public override fun setReadOnlyIterable(p0: Iterable?): Unit {} } }