class A
- var _x: Object = fail
- var _i: Int = 1
+ var x: Object = fail
+ var i: Int = 1
fun y do fail
fun z: Object do return fail
fun t do
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