| 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 SliverConstraints extends core::Object { |
| synthetic constructor •() → self::SliverConstraints |
| : super core::Object::•() |
| ; |
| } |
| abstract class RenderSliver extends mai::RenderObject { |
| synthetic constructor •() → self::RenderSliver |
| : super mai::RenderObject::•() |
| ; |
| get constraints() → self::SliverConstraints |
| return super.{mai::RenderObject::constraints}; |
| } |
| abstract class _RenderSliverSingleBoxAdapter&RenderSliver&RenderObjectWithChildMixin extends self::RenderSliver implements mai::RenderObjectWithChildMixin /*isAnonymousMixin,isEliminatedMixin*/ { |
| synthetic constructor •() → self::_RenderSliverSingleBoxAdapter&RenderSliver&RenderObjectWithChildMixin |
| : super self::RenderSliver::•() |
| ; |
| abstract member-signature get constraints() → invalid-type; -> self::RenderSliver::constraints |
| } |
| abstract class RenderSliverSingleBoxAdapter extends self::_RenderSliverSingleBoxAdapter&RenderSliver&RenderObjectWithChildMixin { |
| synthetic constructor •() → self::RenderSliverSingleBoxAdapter |
| : super self::_RenderSliverSingleBoxAdapter&RenderSliver&RenderObjectWithChildMixin::•() |
| ; |
| } |
| static method main() → dynamic {} |
| |
| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/general/crashes/crash_01/main_lib.dart:2:3: Error: Type 'Constraints' not found. |
| // Constraints get constraints {} |
| // ^^^^^^^^^^^ |
| // |
| import self as mai; |
| import "dart:core" as core; |
| |
| abstract class RenderObject extends core::Object { |
| synthetic constructor •() → mai::RenderObject |
| : super core::Object::•() |
| ; |
| get constraints() → invalid-type {} |
| } |
| abstract class RenderObjectWithChildMixin extends mai::RenderObject /*isMixinDeclaration*/ { |
| } |