================ Step #1 ================= 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 ================ Step #2 ================= Cleaning output files: out/production/module/test/A.class End of files Compiling files: src/A.kt src/usage.kt End of files Exit code: OK ------------------------------------------