#alt4#var fail: Object = 5
#alt5#var fail: Object = 5
#alt5#fail = fail2(5)
-
+#alt6#var fail = null
var ok = 5
ok.fail
var nok: Int = fail
trash(fail != 1) # no rtype
trash(1 != fail)
trash(fail != fail) # no rtype
-trash(fail is 1)
-trash(1 is fail)
-trash(fail is fail)
+trash(fail.is_same_instance(1))
+trash(1.is_same_instance(fail))
+trash(fail.is_same_instance(fail))
trash(fail < 1) # no rtype
trash(1 < fail)
trash(fail < fail) # no rtype