kotlin-fork/compiler/testData/loadJava/compiledKotlin/prop/CollectionSize.fir.txt

public final val R|kotlin/collections/Collection<*>|.anotherSize: R|kotlin/Int|
    public get(): R|kotlin/Int|