| library; | |
| // | |
| // Problems in library: | |
| // | |
| // pkg/front_end/testcases/deferred_type_annotation.dart:7:5: Error: The type 'C' is deferred loaded via prefix 'd' and can't be used as a type annotation. | |
| // - 'C' is from 'pkg/front_end/testcases/deferred_lib.dart'. | |
| // Try removing 'deferred' from the import of 'd' or use a supertype of 'C' that isn't deferred. | |
| // bad(d.C x) {} | |
| // ^^^ | |
| // | |
| import self as self; | |
| import "./deferred_lib.dart" as def; | |
| static method bad(def::C x) → dynamic {} | |
| static method main() → dynamic {} |