pkg/front_end/testcases/dartdevc/primary_constructors/abstract_class.dart.strong.expect

library;
import self as self;
import "dart:core" as core;

abstract class C7 extends core::Object {
  field core::int v;
  constructor •(initializing-formal core::int v) → self::C7
    : self::C7::v = v, super core::Object::•()
    ;
}