| library; | 
 | // | 
 | // Problems in library: | 
 | // | 
 | // pkg/front_end/testcases/general/check_deferred_as_check.dart:9:8: Error: The type 'C' is deferred loaded via prefix 'lib' and can't be used as a type annotation. | 
 | //  - 'C' is from 'pkg/front_end/testcases/general/deferred_lib.dart'. | 
 | // Try removing 'deferred' from the import of 'lib' or use a supertype of 'C' that isn't deferred. | 
 | //   x as lib.C; | 
 | //        ^^^^^ | 
 | // | 
 | import self as self; | 
 |  | 
 | import "org-dartlang-testcase:///deferred_lib.dart" deferred as lib; | 
 |  | 
 | static method main() → dynamic {} | 
 | static method test(dynamic x) → dynamic { | 
 |   x as invalid-type; | 
 | } | 
 |  | 
 | library; | 
 | import self as self2; | 
 | import "dart:core" as core; | 
 |  | 
 | class C extends core::Object { | 
 |   static field core::int y = 1; | 
 |   synthetic constructor •() → self2::C | 
 |     : super core::Object::•() | 
 |     ; | 
 |   static method m() → core::int | 
 |     return 2; | 
 | } | 
 | static field core::int x = 0; | 
 | static method m(dynamic x) → dynamic | 
 |   return null; |