pkg/front_end/testcases/super_parameters/default_values_2.dart.strong.outline.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 = null]) → self::C5
    ;
}

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

class S5 extends core::Object {
  field core::num a;
  constructor •([core::num x = 3.14]) → def::S5
    ;
}