Smart cast from different module compiles in Eclipse

1

Similar to this topic, it seems that the Eclipse plugin for Kotlin has the same problem.

  1. Does not report the error about “Smart cast to ‘X’ is impossible, because ‘s.x’ is a public API property declared in different module”
  2. 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”