|  | @#C2 | 
|  | @#C4 | 
|  | @#C6 | 
|  | library /*isNonNullableByDefault*/; | 
|  | // | 
|  | // Problems in library: | 
|  | // | 
|  | // pkg/front_end/testcases/general/external_import.dart:5:1: Error: Dart native extensions are no longer supported. | 
|  | // Migrate to using FFI instead (https://dart.dev/guides/libraries/c-interop) | 
|  | // import 'dart-ext:here'; | 
|  | // ^ | 
|  | // | 
|  | // pkg/front_end/testcases/general/external_import.dart:6:1: Error: Dart native extensions are no longer supported. | 
|  | // Migrate to using FFI instead (https://dart.dev/guides/libraries/c-interop) | 
|  | // import 'dart-ext:foo/../there'; | 
|  | // ^ | 
|  | // | 
|  | // pkg/front_end/testcases/general/external_import.dart:7:1: Error: Dart native extensions are no longer supported. | 
|  | // Migrate to using FFI instead (https://dart.dev/guides/libraries/c-interop) | 
|  | // import 'dart-ext:/usr/local/somewhere'; | 
|  | // ^ | 
|  | // | 
|  | import self as self; | 
|  | import "dart:_internal" as _in; | 
|  |  | 
|  | static method main() → dynamic {} | 
|  |  | 
|  | constants  { | 
|  | #C1 = "dart-ext:here" | 
|  | #C2 = _in::ExternalName {name:#C1} | 
|  | #C3 = "dart-ext:foo/../there" | 
|  | #C4 = _in::ExternalName {name:#C3} | 
|  | #C5 = "dart-ext:/usr/local/somewhere" | 
|  | #C6 = _in::ExternalName {name:#C5} | 
|  | } | 
|  |  | 
|  |  | 
|  | Constructor coverage from constants: | 
|  | org-dartlang-testcase:///external_import.dart: | 
|  | - ExternalName. (from org-dartlang-sdk:///sdk/lib/internal/internal.dart:109:9) | 
|  | - Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart:25:9) |