#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)