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 for y]
}
