blob: 0e07a82cff74851207ec2d2047bcc1544e46c0d2 [file]
>>> val x: Pair<Any?, Any?> = null to null
>>> fun Any.string() = this as String
>>> if (x.first != null) x.first.string()
error: smart cast to 'Any' is impossible, because 'x.first' is a public API property declared in different module
if (x.first != null) x.first.string()
^