blob: 231bcc9a6536e5e28fcffcfd14fdfd14f793f267 [file] [log] [blame]
interface Base
class Derived: Base
class Another: Base
operator fun Base.inc(): Derived { return Derived() }
fun box() : String {
var i : Base
i = Another()
val j = ++i
return if (j is Derived && i is Derived) "OK" else "fail j = $j i = $i"
}