================ Step #1 ================= Cleaning output files: out/production/module/META-INF/module.kotlin_module out/production/module/test/A.class End of files Compiling files: src/A.kt End of files After build round. Marked as dirty by Kotlin: src/usage.kt Exit code: ADDITIONAL_PASS_REQUIRED ------------------------------------------ Cleaning output files: out/production/module/META-INF/module.kotlin_module out/production/module/test/UsageKt.class End of files Compiling files: src/usage.kt End of files Exit code: ABORT ------------------------------------------ COMPILATION FAILED Smart cast to 'Int' is impossible, because 'a.x' is a property that has open or custom getter