Similar to this topic, it seems that the Eclipse plugin for Kotlin has the same problem.
- Does not report the error about “Smart cast to ‘X’ is impossible, because ‘s.x’ is a public API property declared in different module”
- When I add an explicit cast, it marks it with a warning: “No cast needed”
Do I need to attach code?
I’m using kotlin 1.1.3-2 and Eclipse Oxygen with the plugin: “Kotlin | 0.8.2.v20170314-0957 | org.jetbrains.kotlin.feature.feature.group | JetBrains”