| library; |
| import self as self; |
| import "dart:core" as core; |
| |
| class Class<T extends core::Object> extends core::Object { |
| covariant-by-class field self::Class::T field; |
| constructor •(self::Class::T field) → self::Class<self::Class::T> |
| : self::Class::field = field, super core::Object::•() |
| ; |
| } |
| static method method1(core::Object object) → dynamic { |
| { |
| final synthesized core::Object #0#0 = object; |
| { |
| hoisted core::Object field; |
| if(#0#0 is self::Class<core::Object>) { |
| field = #0#0{self::Class<core::Object>}.{self::Class::field}{core::Object}; |
| { |
| core::print(field); |
| } |
| } |
| } |
| } |
| } |
| static method main() → dynamic { |
| self::method1(new self::Class::•<core::int>(42)); |
| self::method1(new self::Class::•<core::String>("foo")); |
| } |