#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
while true do fail
for i in fail do trash(0) # no rtype (hum...)
-for i in [0..1] do fail
+for j in [0..1] do fail
assert fail
trash(once fail) # no rtype
trash(fail or true)
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