| library; | |
| import self as self; | |
| import "dart:core" as core; | |
| import "dart:collection" as col; | |
| static method main() → dynamic { | |
| core::Object* a; | |
| core::Object* b; | |
| return block { | |
| final core::Set<core::Object*>* #t1 = col::LinkedHashSet::•<core::Object*>(); | |
| #t1.{core::Set::add}{Invariant}(let final core::Object* #t2 = a in #t2.{core::Object::==}(null) ?{core::Object*} b : #t2); | |
| } =>#t1; | |
| } |