| library; | |
| import self as self; | |
| import "dart:core" as core; | |
| static method foo<X extends core::Object? = dynamic>(self::foo::X? x) → dynamic { | |
| if(x is core::int) { | |
| self::bar<dynamic>(x{self::foo::X? & core::int /* '?' & '!' = '!' */}); | |
| } | |
| } | |
| static method bar<Y extends core::Object? = dynamic>(dynamic y) → dynamic {} | |
| static method main() → dynamic {} |