FILE: init.kt
    public? final? class WithInit : R|kotlin/Any| {
        public? constructor(x: Int): R|WithInit| {
            super<R|kotlin/Any|>()
        }

        public? final? val x: Int
            public? get(): Int

        init {
            this#.x# = x#
        }

    }
