FILE: main.kt
    @R|Ann|(x = Int(10), s = String()) @R|Ann|(s = Int(10), x = String()) @R|Ann|(x = Int(10), s = String(), y = Int(10)) public final class A : R|kotlin/Any| {
        public constructor(): R|A| {
            super<R|kotlin/Any|>()
        }

    }
