main = <No Member>;
library from "org-dartlang-test:///app/main.dart" as main {

  import "package:flutter/lib1.dart";

  class _Bar extends lib1::RestorableProperty {
    synthetic constructor •() → main::_Bar
      : super lib1::RestorableProperty::•()
      ;
  }
}
library from "package:flutter/lib1.dart" as lib1 {

  import "package:flutter/lib2.dart";

  abstract class RestorableProperty extends lib2::ChangeNotifier {
    synthetic constructor •() → lib1::RestorableProperty
      : super lib2::ChangeNotifier::•()
      ;
    method _debugAssertNotDisposed() → dart.core::bool {
      return true;
    }
  }
}
library from "package:flutter/lib2.dart" as lib2 {

  class ChangeNotifier extends dart.core::Object {
    synthetic constructor •() → lib2::ChangeNotifier
      : super dart.core::Object::•()
      ;
    method _debugAssertNotDisposed() → dart.core::bool {
      return true;
    }
  }
}