library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
import "main_lib.dart" as mai;

import "org-dartlang-testcase:///main_lib.dart";

class Class extends core::Object implements mai::Interface {
  field core::int? field1;
  field core::int? field2;
  field core::int? field3;
  synthetic constructor •() → self::Class
    ;
}
static method method(mai::Interface i) → void
  ;
static method main() → dynamic
  ;

library /*isNonNullableByDefault*/;
import self as mai;
import "dart:core" as core;

class Interface extends core::Object {
  field core::int? field1;
  field core::int? field2;
  field core::int? field3;
  synthetic constructor •() → mai::Interface
    ;
}