pkg/front_end/testcases/super_parameters/default_values_2.dart.strong.modular.expect

library;
//
// Problems in library:
//
// pkg/front_end/testcases/super_parameters/default_values_2.dart:8:17: Error: Type 'int' of the optional super-initializer parameter 'x' doesn't allow 'null', but the parameter doesn't have a default value, and the default value can't be copied from the corresponding parameter of the super constructor.
//   C5([int super.x]); // Error.
//                 ^
//
import self as self;
import "default_values_2_lib.dart" as def;
import "dart:core" as core;

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

class C5 extends def::S5 {
  constructor •([erroneously-initialized core::int x = #C1]) → self::C5
    : super def::S5::•(x)
    ;
}

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

class S5 extends core::Object {
  field core::num a;
  constructor •([core::num x = #C2]) → def::S5
    : def::S5::a = x.{core::num::-}(1){(core::num) → core::num}, super core::Object::•()
    ;
}

constants  {
  #C1 = null
  #C2 = 3.14
}