/B.kt:(134,135): error: Smart cast to 'kotlin.String' is impossible, because 'x' is a public API property declared in different module.

/B.kt:(266,269): error: Smart cast to 'kotlin.String' is impossible, because 'x' is a public API property declared in different module.
