pkg/front_end/testcases/general/crashes/crash_01/main.dart

import 'main_lib.dart';

class SliverConstraints {}

abstract class RenderSliver extends RenderObject {
  SliverConstraints get constraints => super.constraints as SliverConstraints;
}

abstract class RenderSliverSingleBoxAdapter extends RenderSliver
    with RenderObjectWithChildMixin {}

main() {}