package

package a {
    public val x: kotlin.Int = 1
    public val y: kotlin.Int = 1
}

package b {
    public val x: kotlin.String = ""
}

package c {
    public val v1: kotlin.Int = 1
    public val v2: kotlin.String = ""
    public val v3: [Error type: Not found recorded type for y]
}