FILE: main.kt
    public final fun test(a: R|A|): R|kotlin/Unit| {
        lval int: R|kotlin/Int| = R|<local>/a|.R|/A.x|
        lval string: R|kotlin/String!| = R|<local>/a|.R|/A.getX|()
    }
