# Smart cast from different module compiles in Eclipse

**URL:** <https://discuss.kotlinlang.org/t/smart-cast-from-different-module-compiles-in-eclipse/3790>\
**Category:** Uncategorized\
**Created:** [July 19, 2017, 12:11am UTC](https://discuss.kotlinlang.org/t/smart-cast-from-different-module-compiles-in-eclipse/3790 "2017-07-19T00:11:15Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![benjishults](https://avatars.discourse-cdn.com/v4/letter/b/c0e974/32.png) [@benjishults](https://discuss.kotlinlang.org/u/benjishults)\
**Post date:** [July 19, 2017, 12:11am UTC](https://discuss.kotlinlang.org/t/smart-cast-from-different-module-compiles-in-eclipse/3790/1 "2017-07-19T00:11:16Z")

</div>

Similar to [this topic](https://discuss.kotlinlang.org/t/what-is-the-reason-behind-smart-cast-being-impossible-to-perform-when-referenced-class-is-in-another-module/2201), 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”