Set 'isSyntheticDefault' for default constructors.

R=ahe@google.com, paulberry@google.com, sigmund@google.com
BUG=

Review-Url: https://codereview.chromium.org/2981783002 .

pkg/front_end/lib/src/fasta/kernel/kernel_target.dart

@@ -506,7 +506,8 @@ class KernelTarget extends TargetImplementation {
   Constructor makeDefaultConstructor() {
     return new Constructor(
         new FunctionNode(new EmptyStatement(), returnType: const VoidType()),
-        name: new Name(""));
+        name: new Name(""),
+        isSyntheticDefault: true);
   }
 
   void finishAllConstructors() {

pkg/front_end/testcases/DeltaBlue.dart.outline.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 class DeltaBlue extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   method run() → void
     ;
@@ -151,7 +151,7 @@ class Variable extends core::Object {
 }
 class Planner extends core::Object {
   field core::int currentMark;
-  constructor •() → void
+  default constructor •() → void
     ;
   method incrementalAdd(self::Constraint c) → void
     ;
@@ -172,7 +172,7 @@ class Planner extends core::Object {
 }
 class Plan extends core::Object {
   field core::List<self::Constraint> list;
-  constructor •() → void
+  default constructor •() → void
     ;
   method addConstraint(self::Constraint c) → void
     ;

pkg/front_end/testcases/accessors.dart.direct.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   set onlySetter(dynamic value) → void {
@@ -25,7 +25,7 @@ class C extends core::Object {
   }
 }
 class D extends self::C {
-  constructor •() → void
+  default constructor •() → void
     : super self::C::•()
     ;
   get onlySetter() → core::String

pkg/front_end/testcases/accessors.dart.outline.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   set onlySetter(dynamic value) → void
     ;
@@ -13,7 +13,7 @@ class C extends core::Object {
     ;
 }
 class D extends self::C {
-  constructor •() → void
+  default constructor •() → void
     ;
   get onlySetter() → core::String
     ;

pkg/front_end/testcases/argument.dart.direct.expect

@@ -3,22 +3,22 @@ import self as self;
 import "dart:core" as core;
 
 abstract class Base extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class Foo extends self::Base {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
 }
 class Bar extends self::Base {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
 }
 class Baz extends self::Base {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
 }

pkg/front_end/testcases/argument.dart.outline.expect

@@ -3,19 +3,19 @@ import self as self;
 import "dart:core" as core;
 
 abstract class Base extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class Foo extends self::Base {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class Bar extends self::Base {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class Baz extends self::Base {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 static method foo(dynamic x) → void

pkg/front_end/testcases/argument.dart.strong.expect

@@ -3,22 +3,22 @@ import self as self;
 import "dart:core" as core;
 
 abstract class Base extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class Foo extends self::Base {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
 }
 class Bar extends self::Base {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
 }
 class Baz extends self::Base {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
 }

pkg/front_end/testcases/bad_store.dart.direct.expect

@@ -4,7 +4,7 @@ import "dart:core" as core;
 
 class Foo extends core::Object {
   field dynamic field = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/bad_store.dart.outline.expect

@@ -4,7 +4,7 @@ import "dart:core" as core;
 
 class Foo extends core::Object {
   field dynamic field;
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 static method identity(dynamic x) → dynamic

pkg/front_end/testcases/bad_store.dart.strong.expect

@@ -4,7 +4,7 @@ import "dart:core" as core;
 
 class Foo extends core::Object {
   field dynamic field = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/call.dart.direct.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 class Callable extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method call(dynamic x) → dynamic {
@@ -11,7 +11,7 @@ class Callable extends core::Object {
   }
 }
 class CallableGetter extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   get call() → dynamic

pkg/front_end/testcases/call.dart.outline.expect

@@ -3,13 +3,13 @@ import self as self;
 import "dart:core" as core;
 
 class Callable extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   method call(dynamic x) → dynamic
     ;
 }
 class CallableGetter extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   get call() → dynamic
     ;

pkg/front_end/testcases/call.dart.strong.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 class Callable extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method call(dynamic x) → dynamic {
@@ -11,7 +11,7 @@ class Callable extends core::Object {
   }
 }
 class CallableGetter extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   get call() → dynamic

pkg/front_end/testcases/closure.dart.direct.expect

@@ -4,12 +4,12 @@ import "dart:core" as core;
 
 class Foo extends core::Object {
   field dynamic _field = new self::Bar::•();
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class Bar extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/closure.dart.outline.expect

@@ -4,11 +4,11 @@ import "dart:core" as core;
 
 class Foo extends core::Object {
   field dynamic _field;
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class Bar extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 static method useCallback(dynamic callback) → dynamic

pkg/front_end/testcases/closure.dart.strong.expect

@@ -4,12 +4,12 @@ import "dart:core" as core;
 
 class Foo extends core::Object {
   field self::Bar _field = new self::Bar::•();
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class Bar extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/covariant_generic.dart.strong.expect

@@ -15,12 +15,6 @@ class Foo<T extends core::Object> extends core::Object {
   method withCallback((self::Foo::T) → void callback) → void {
     callback.call(this.{self::Foo::finalField});
   }
-  set mutableField$cc(core::Object mutableField_) → dynamic
-    this.{=self::Foo::mutableField} = mutableField_ as self::Foo::T;
-  method method$cc(core::Object x) → void
-    this.{=self::Foo::method}(x as self::Foo::T);
-  set setter$cc(core::Object x) → void
-    this.{=self::Foo::setter} = x as self::Foo::T;
 }
 static method main() → dynamic {
   self::Foo<core::int> fooInt = new self::Foo::•<core::int>(1, (core::int x) → core::Null {});

pkg/front_end/testcases/cycles.dart.direct.expect

@@ -3,22 +3,22 @@ import self as self;
 import "dart:core" as core;
 
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class D extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/cycles.dart.outline.expect

@@ -3,19 +3,19 @@ import self as self;
 import "dart:core" as core;
 
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class B extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class D extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 static method main() → dynamic

pkg/front_end/testcases/escape.dart.direct.expect

@@ -4,18 +4,18 @@ import "dart:core" as core;
 
 class A extends core::Object {
   field dynamic field = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends core::Object {
   field dynamic field = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   operator ==(dynamic x) → dynamic
@@ -23,7 +23,7 @@ class C extends core::Object {
 }
 class X extends core::Object implements self::A, self::B {
   field dynamic field = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/escape.dart.outline.expect

@@ -4,23 +4,23 @@ import "dart:core" as core;
 
 class A extends core::Object {
   field dynamic field;
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class B extends core::Object {
   field dynamic field;
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   operator ==(dynamic x) → dynamic
     ;
 }
 class X extends core::Object implements self::A, self::B {
   field dynamic field;
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 static method useAsA(self::A object) → void

pkg/front_end/testcases/escape.dart.strong.expect

@@ -4,19 +4,19 @@ import "dart:core" as core;
 
 class A extends core::Object {
   field dynamic field = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends core::Object {
   field dynamic field = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class X extends core::Object implements self::A, self::B {
   field dynamic field = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/implicit_scope_test.dart.direct.expect

@@ -4,7 +4,7 @@ import "dart:core" as core;
 import "package:expect/expect.dart" as exp;
 
 class ImplicitScopeTest extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   static method alwaysTrue() → core::bool {

pkg/front_end/testcases/implicit_scope_test.dart.outline.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 class ImplicitScopeTest extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   static method alwaysTrue() → core::bool
     ;

pkg/front_end/testcases/implicit_scope_test.dart.strong.expect

@@ -4,7 +4,7 @@ import "dart:core" as core;
 import "package:expect/expect.dart" as exp;
 
 class ImplicitScopeTest extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   static method alwaysTrue() → core::bool {

pkg/front_end/testcases/implicit_this.dart.direct.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method m() → dynamic {
@@ -14,7 +14,7 @@ class C extends core::Object {
   }
 }
 class D extends self::C {
-  constructor •() → void
+  default constructor •() → void
     : super self::C::•()
     ;
   method testD() → dynamic {

pkg/front_end/testcases/implicit_this.dart.outline.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   method m() → dynamic
     ;
@@ -11,7 +11,7 @@ class C extends core::Object {
     ;
 }
 class D extends self::C {
-  constructor •() → void
+  default constructor •() → void
     ;
   method testD() → dynamic
     ;

pkg/front_end/testcases/inference/abstract_class_instantiation.dart.direct.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 abstract class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/inference/abstract_class_instantiation.dart.outline.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 abstract class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 abstract class D<T extends core::Object> extends core::Object {

pkg/front_end/testcases/inference/assign_local.dart.direct.expect

@@ -3,12 +3,12 @@ import self as self;
 import "dart:core" as core;
 
 class A<T extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B<T extends core::Object> extends self::A<self::B::T> {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
 }

pkg/front_end/testcases/inference/assign_local.dart.outline.expect

@@ -3,11 +3,11 @@ import self as self;
 import "dart:core" as core;
 
 class A<T extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class B<T extends core::Object> extends self::A<self::B::T> {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 static method main() → dynamic

pkg/front_end/testcases/inference/assign_local.dart.strong.expect

@@ -3,12 +3,12 @@ import self as self;
 import "dart:core" as core;
 
 class A<T extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B<T extends core::Object> extends self::A<self::B::T> {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
 }

pkg/front_end/testcases/inference/call_corner_cases.dart.direct.expect

@@ -3,14 +3,14 @@ import self as self;
 import "dart:core" as core;
 
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method call() → core::int
     return 0;
 }
 class B extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   get call() → self::A
@@ -19,7 +19,7 @@ class B extends core::Object {
 class D extends core::Object {
   field self::A fieldA = new self::A::•();
   field self::B fieldB = new self::B::•();
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   get getA() → self::A

pkg/front_end/testcases/inference/call_corner_cases.dart.outline.expect

@@ -3,13 +3,13 @@ import self as self;
 import "dart:core" as core;
 
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   method call() → core::int
     ;
 }
 class B extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   get call() → self::A
     ;
@@ -17,7 +17,7 @@ class B extends core::Object {
 class D extends core::Object {
   field self::A fieldA;
   field self::B fieldB;
-  constructor •() → void
+  default constructor •() → void
     ;
   get getA() → self::A
     ;

pkg/front_end/testcases/inference/call_corner_cases.dart.strong.expect

@@ -3,14 +3,14 @@ import self as self;
 import "dart:core" as core;
 
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method call() → core::int
     return 0;
 }
 class B extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   get call() → self::A
@@ -19,7 +19,7 @@ class B extends core::Object {
 class D extends core::Object {
   field self::A fieldA = new self::A::•();
   field self::B fieldB = new self::B::•();
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   get getA() → self::A

pkg/front_end/testcases/inference/circular_method_inference.dart.direct.expect

@@ -3,13 +3,13 @@ import self as self;
 import "dart:core" as core;
 
 abstract class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract method f(dynamic x) → dynamic;
 }
 abstract class B extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract method f(dynamic x) → dynamic;

pkg/front_end/testcases/inference/circular_method_inference.dart.outline.expect

@@ -3,12 +3,12 @@ import self as self;
 import "dart:core" as core;
 
 abstract class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   abstract method f(dynamic x) → dynamic;
 }
 abstract class B extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   abstract method f(dynamic x) → dynamic;
 }

pkg/front_end/testcases/inference/circular_method_inference.dart.strong.expect

@@ -3,13 +3,13 @@ import self as self;
 import "dart:core" as core;
 
 abstract class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract method f(dynamic x) → dynamic;
 }
 abstract class B extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract method f(dynamic x) → dynamic;

pkg/front_end/testcases/inference/conflicts_can_happen.dart.strong.expect

@@ -4,37 +4,37 @@ import "dart:core" as core;
 
 class I1 extends core::Object {
   field core::int x = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class I2 extends self::I1 {
   field core::int y = null;
-  constructor •() → void
+  default constructor •() → void
     : super self::I1::•()
     ;
 }
 class A extends core::Object {
   final field self::I1 a = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends core::Object {
   final field self::I2 a = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class C1 extends core::Object implements self::A, self::B {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   get a() → dynamic
     return null;
 }
 class C2 extends core::Object implements self::B, self::A {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   get a() → dynamic

pkg/front_end/testcases/inference/conflicts_can_happen2.dart.strong.expect

@@ -4,44 +4,44 @@ import "dart:core" as core;
 
 class I1 extends core::Object {
   field core::int x = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class I2 extends core::Object {
   field core::int y = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class I3 extends core::Object implements self::I1, self::I2 {
   field core::int x = null;
   field core::int y = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class A extends core::Object {
   final field self::I1 a = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends core::Object {
   final field self::I2 a = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class C1 extends core::Object implements self::A, self::B {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   get a() → self::I3
     return null;
 }
 class C2 extends core::Object implements self::A, self::B {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   get a() → dynamic

pkg/front_end/testcases/inference/constructors_downwards_with_constraint.dart.strong.expect

@@ -3,17 +3,17 @@ import self as self;
 import "dart:core" as core;
 
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
 }
 class Foo<T extends self::A> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/inference/constructors_infer_from_arguments_argument_not_assignable.dart.strong.expect

@@ -4,7 +4,7 @@ import "dart:core" as core;
 
 typedef F<T extends core::Object> = () → T;
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
@@ -14,7 +14,7 @@ class C<T extends self::A> extends core::Object {
     ;
 }
 class NotA extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/inference/constructors_inference_f_bounded.dart.strong.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 class Clonable<T extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/inference/do_not_infer_overridden_fields_that_explicitly_say_dynamic_infer.dart.strong.expect

@@ -4,12 +4,12 @@ import "dart:core" as core;
 
 class A extends core::Object {
   final field core::int x = 2;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends core::Object implements self::A {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   get x() → dynamic

pkg/front_end/testcases/inference/dont_infer_field_type_when_initializer_is_null.dart.strong.expect

@@ -7,7 +7,7 @@ class A extends core::Object {
   static field core::int y = 3;
   field dynamic x2 = null;
   field core::int y2 = 3;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/inference/downwards_inference_annotations.dart.direct.expect

@@ -12,13 +12,13 @@ class Foo extends core::Object {
 }
 @self::Foo::•(const <dynamic>[])
 class Bar extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 @self::Foo::named(const <dynamic>[])
 class Baz extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/inference/downwards_inference_annotations.dart.outline.expect

@@ -9,11 +9,11 @@ class Foo extends core::Object {
     ;
 }
 class Bar extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class Baz extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 static method main() → dynamic

pkg/front_end/testcases/inference/downwards_inference_annotations.dart.strong.expect

@@ -12,13 +12,13 @@ class Foo extends core::Object {
 }
 @self::Foo::•(const <core::String>[])
 class Bar extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 @self::Foo::named(const <core::String>[])
 class Baz extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/inference/downwards_inference_annotations_parameter.dart.direct.expect

@@ -8,7 +8,7 @@ class Foo extends core::Object {
     ;
 }
 class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method m(dynamic x) → void {}

pkg/front_end/testcases/inference/downwards_inference_annotations_parameter.dart.outline.expect

@@ -7,7 +7,7 @@ class Foo extends core::Object {
     ;
 }
 class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   method m(dynamic x) → void
     ;

pkg/front_end/testcases/inference/downwards_inference_annotations_type_variable.dart.direct.expect

@@ -9,12 +9,12 @@ class Foo extends core::Object {
     ;
 }
 class C<T extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class D extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method m<T extends core::Object>() → void {}

pkg/front_end/testcases/inference/downwards_inference_annotations_type_variable.dart.outline.expect

@@ -8,11 +8,11 @@ class Foo extends core::Object {
     ;
 }
 class C<T extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class D extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   method m<T extends core::Object>() → void
     ;

pkg/front_end/testcases/inference/downwards_inference_inside_top_level.dart.strong.expect

@@ -4,7 +4,7 @@ import "dart:core" as core;
 
 class A extends core::Object {
   field self::B<core::int> b = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/inference/downwards_inference_on_list_literals_infer_if_value_types_match_context.dart.strong.expect

@@ -5,14 +5,14 @@ import "dart:core" as core;
 typedef Asserter<T extends core::Object> = (T) → void;
 typedef AsserterBuilder<S extends core::Object, T extends core::Object> = (S) → (T) → void;
 class DartType extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 abstract class C extends core::Object {
   static field (core::List<(self::DartType) → void>) → (self::DartType) → void assertBOf = null;
   field (core::List<(self::DartType) → void>) → (self::DartType) → void assertAOf = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   static get assertCOf() → (core::List<(self::DartType) → void>) → (self::DartType) → void
@@ -28,7 +28,7 @@ abstract class C extends core::Object {
 }
 abstract class G<T extends core::Object> extends core::Object {
   field (core::List<(self::DartType) → void>) → (self::DartType) → void assertAOf = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract get assertDOf() → (core::List<(self::DartType) → void>) → (self::DartType) → void;

pkg/front_end/testcases/inference/field_refers_to_static_getter.dart.strong.expect

@@ -4,7 +4,7 @@ import "dart:core" as core;
 
 class C extends core::Object {
   final field core::int x = self::C::_x;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   static get _x() → core::int

pkg/front_end/testcases/inference/field_refers_to_top_level_getter.dart.strong.expect

@@ -4,7 +4,7 @@ import "dart:core" as core;
 
 class C extends core::Object {
   final field core::int x = self::y;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/inference/future_union_downwards_generic_method_with_future_return.dart.strong.expect

@@ -4,7 +4,7 @@ import "dart:core" as core;
 import "dart:async" as asy;
 
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/inference/future_union_upwards_generic_methods.dart.strong.expect

@@ -4,17 +4,17 @@ import "dart:core" as core;
 import "dart:async" as asy;
 
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
 }
 class C extends self::A {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
 }

pkg/front_end/testcases/inference/generic_methods_correctly_recognize_generic_upper_bound.dart.strong.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 class Foo<T extends core::Pattern> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method method<U extends self::Foo::T>(self::Foo::method::U u) → self::Foo::method::U

pkg/front_end/testcases/inference/generic_methods_do_not_infer_invalid_override_of_generic_method.dart.strong.expect

@@ -3,14 +3,14 @@ import self as self;
 import "dart:core" as core;
 
 class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method m<T extends core::Object>(self::C::m::T x) → self::C::m::T
     return x;
 }
 class D extends self::C {
-  constructor •() → void
+  default constructor •() → void
     : super self::C::•()
     ;
   method m(dynamic x) → dynamic

pkg/front_end/testcases/inference/generic_methods_handle_override_of_non_generic_with_generic.dart.strong.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method m(dynamic x) → dynamic
@@ -12,7 +12,7 @@ class C extends core::Object {
     return x;
 }
 class D extends self::C {
-  constructor •() → void
+  default constructor •() → void
     : super self::C::•()
     ;
   method m<T extends core::Object>(self::D::m::T x) → self::D::m::T

pkg/front_end/testcases/inference/generic_methods_infer_generic_function_parameter_type.dart.strong.expect

@@ -4,13 +4,13 @@ import "dart:core" as core;
 
 typedef F<V extends core::Object> = (V) → void;
 class C<T extends core::Object> extends self::D<self::C::T> {
-  constructor •() → void
+  default constructor •() → void
     : super self::D::•()
     ;
   method f<U extends core::Object>(self::C::f::U x) → (self::C::f::U) → void {}
 }
 class D<T extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method f<U extends core::Object>(self::D::f::U u) → (self::D::f::U) → void

pkg/front_end/testcases/inference/generic_methods_infer_generic_function_parameter_type2.dart.strong.expect

@@ -4,14 +4,14 @@ import "dart:core" as core;
 
 typedef G<V extends core::Object> = () → core::List<V>;
 class C<T extends core::Object> extends self::D<self::C::T> {
-  constructor •() → void
+  default constructor •() → void
     : super self::D::•()
     ;
   method f<U extends core::Object>(() → core::List<self::C::f::U> g) → void
     return null;
 }
 abstract class D<T extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract method f<U extends core::Object>(() → core::List<self::D::f::U> g) → void;

pkg/front_end/testcases/inference/generic_methods_infer_generic_function_return_type.dart.strong.expect

@@ -4,13 +4,13 @@ import "dart:core" as core;
 
 typedef F<V extends core::Object> = () → V;
 class C<T extends core::Object> extends self::D<self::C::T> {
-  constructor •() → void
+  default constructor •() → void
     : super self::D::•()
     ;
   method f<U extends core::Object>(self::C::f::U x) → () → self::C::f::U {}
 }
 class D<T extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method f<U extends core::Object>(self::D::f::U u) → () → self::D::f::U

pkg/front_end/testcases/inference/generic_methods_infer_generic_instantiation.dart.strong.expect

@@ -4,7 +4,7 @@ import "dart:core" as core;
 import "dart:math" as math;
 
 class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method m<T extends core::num>(self::C::m::T x, self::C::m::T y) → self::C::m::T

pkg/front_end/testcases/inference/generic_methods_infer_generic_method_type.dart.strong.expect

@@ -3,14 +3,14 @@ import self as self;
 import "dart:core" as core;
 
 class C extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method m<T extends core::Object>(self::C::m::T x) → self::C::m::T
     return x;
 }
 class D extends self::C {
-  constructor •() → void
+  default constructor •() → void
     : super self::C::•()
     ;
   method m<S extends core::Object>(self::D::m::S x) → self::D::m::S

pkg/front_end/testcases/inference/generic_methods_nested_generic_instantiation.dart.strong.expect

@@ -5,13 +5,13 @@ import "dart:math" as math;
 
 class Trace extends core::Object {
   field core::List<self::Frame> frames = <self::Frame>[];
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class Frame extends core::Object {
   field core::String location = "";
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/inference/greatest_closure_multiple_params.dart.direct.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 abstract class C<E extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method sort([(self::C::E, self::C::E) → core::int compare = null]) → void {

pkg/front_end/testcases/inference/greatest_closure_multiple_params.dart.outline.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 abstract class C<E extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   method sort([(self::C::E, self::C::E) → core::int compare]) → void
     ;

pkg/front_end/testcases/inference/greatest_closure_multiple_params.dart.strong.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 abstract class C<E extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method sort([(self::C::E, self::C::E) → core::int compare = null]) → void {

pkg/front_end/testcases/inference/infer_accessor_from_later_inferred_field.dart.direct.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 class A extends core::Object implements self::B {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   get x() → dynamic
@@ -12,7 +12,7 @@ class A extends core::Object implements self::B {
 }
 class B extends core::Object {
   field dynamic x = 0;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/inference/infer_accessor_from_later_inferred_field.dart.outline.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 class A extends core::Object implements self::B {
-  constructor •() → void
+  default constructor •() → void
     ;
   get x() → dynamic
     ;
@@ -12,7 +12,7 @@ class A extends core::Object implements self::B {
 }
 class B extends core::Object {
   field dynamic x;
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 static method f() → dynamic

pkg/front_end/testcases/inference/infer_accessor_from_later_inferred_field.dart.strong.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 class A extends core::Object implements self::B {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   get x() → core::int
@@ -12,7 +12,7 @@ class A extends core::Object implements self::B {
 }
 class B extends core::Object {
   field core::int x = 0;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }

pkg/front_end/testcases/inference/infer_assign_to_implicit_this.dart.direct.expect

@@ -3,12 +3,12 @@ import self as self;
 import "dart:core" as core;
 
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
   operator +(self::C v) → self::A
@@ -21,13 +21,13 @@ class B extends self::A {
     return null;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     : super self::B::•()
     ;
 }
 class Test extends core::Object {
   field self::B member = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method test() → void {

pkg/front_end/testcases/inference/infer_assign_to_implicit_this.dart.outline.expect

@@ -3,11 +3,11 @@ import self as self;
 import "dart:core" as core;
 
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     ;
   operator +(self::C v) → self::A
     ;
@@ -19,12 +19,12 @@ class B extends self::A {
     ;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class Test extends core::Object {
   field self::B member;
-  constructor •() → void
+  default constructor •() → void
     ;
   method test() → void
     ;

pkg/front_end/testcases/inference/infer_assign_to_implicit_this.dart.strong.expect

@@ -3,12 +3,12 @@ import self as self;
 import "dart:core" as core;
 
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
   operator +(self::C v) → self::A
@@ -21,13 +21,13 @@ class B extends self::A {
     return null;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     : super self::B::•()
     ;
 }
 class Test extends core::Object {
   field self::B member = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method test() → void {

pkg/front_end/testcases/inference/infer_assign_to_implicit_this_upwards.dart.direct.expect

@@ -4,7 +4,7 @@ import "dart:core" as core;
 
 class Test1 extends core::Object {
   field core::int t = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method test() → void {
@@ -20,7 +20,7 @@ class Test1 extends core::Object {
 }
 class Test2 extends core::Object {
   field core::num t = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method test() → void {
@@ -39,7 +39,7 @@ class Test2 extends core::Object {
 }
 class Test3 extends core::Object {
   field core::double t = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method test3() → void {

pkg/front_end/testcases/inference/infer_assign_to_implicit_this_upwards.dart.outline.expect

@@ -4,21 +4,21 @@ import "dart:core" as core;
 
 class Test1 extends core::Object {
   field core::int t;
-  constructor •() → void
+  default constructor •() → void
     ;
   method test() → void
     ;
 }
 class Test2 extends core::Object {
   field core::num t;
-  constructor •() → void
+  default constructor •() → void
     ;
   method test() → void
     ;
 }
 class Test3 extends core::Object {
   field core::double t;
-  constructor •() → void
+  default constructor •() → void
     ;
   method test3() → void
     ;

pkg/front_end/testcases/inference/infer_assign_to_implicit_this_upwards.dart.strong.expect

@@ -4,7 +4,7 @@ import "dart:core" as core;
 
 class Test1 extends core::Object {
   field core::int t = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method test() → void {
@@ -20,7 +20,7 @@ class Test1 extends core::Object {
 }
 class Test2 extends core::Object {
   field core::num t = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method test() → void {
@@ -39,7 +39,7 @@ class Test2 extends core::Object {
 }
 class Test3 extends core::Object {
   field core::double t = null;
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   method test3() → void {

pkg/front_end/testcases/inference/infer_assign_to_index_full.dart.direct.expect

@@ -3,17 +3,17 @@ import self as self;
 import "dart:core" as core;
 
 class Index extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
   operator +(self::C v) → self::A
@@ -26,12 +26,12 @@ class B extends self::A {
     return null;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     : super self::B::•()
     ;
 }
 class Test extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   operator [](self::Index i) → self::B

pkg/front_end/testcases/inference/infer_assign_to_index_full.dart.outline.expect

@@ -3,15 +3,15 @@ import self as self;
 import "dart:core" as core;
 
 class Index extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     ;
   operator +(self::C v) → self::A
     ;
@@ -23,11 +23,11 @@ class B extends self::A {
     ;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class Test extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   operator [](self::Index i) → self::B
     ;

pkg/front_end/testcases/inference/infer_assign_to_index_full.dart.strong.expect

@@ -3,17 +3,17 @@ import self as self;
 import "dart:core" as core;
 
 class Index extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
   operator +(self::C v) → self::A
@@ -26,12 +26,12 @@ class B extends self::A {
     return null;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     : super self::B::•()
     ;
 }
 class Test extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   operator [](self::Index i) → self::B

pkg/front_end/testcases/inference/infer_assign_to_index_set_vs_get.dart.direct.expect

@@ -3,12 +3,12 @@ import self as self;
 import "dart:core" as core;
 
 class Index extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   operator +(self::F v) → self::C
@@ -17,7 +17,7 @@ class A extends core::Object {
     return null;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
   operator +(self::E v) → self::D
@@ -26,27 +26,27 @@ class B extends self::A {
     return null;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     : super self::B::•()
     ;
 }
 class D extends self::C {
-  constructor •() → void
+  default constructor •() → void
     : super self::C::•()
     ;
 }
 class E extends self::D {
-  constructor •() → void
+  default constructor •() → void
     : super self::D::•()
     ;
 }
 class F extends self::E {
-  constructor •() → void
+  default constructor •() → void
     : super self::E::•()
     ;
 }
 class Test extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   operator [](self::Index i) → self::B

pkg/front_end/testcases/inference/infer_assign_to_index_set_vs_get.dart.outline.expect

@@ -3,11 +3,11 @@ import self as self;
 import "dart:core" as core;
 
 class Index extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   operator +(self::F v) → self::C
     ;
@@ -15,7 +15,7 @@ class A extends core::Object {
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     ;
   operator +(self::E v) → self::D
     ;
@@ -23,23 +23,23 @@ class B extends self::A {
     ;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class D extends self::C {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class E extends self::D {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class F extends self::E {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class Test extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   operator [](self::Index i) → self::B
     ;

pkg/front_end/testcases/inference/infer_assign_to_index_set_vs_get.dart.strong.expect

@@ -3,12 +3,12 @@ import self as self;
 import "dart:core" as core;
 
 class Index extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   operator +(self::F v) → self::C
@@ -17,7 +17,7 @@ class A extends core::Object {
     return null;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
   operator +(self::E v) → self::D
@@ -26,27 +26,27 @@ class B extends self::A {
     return null;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     : super self::B::•()
     ;
 }
 class D extends self::C {
-  constructor •() → void
+  default constructor •() → void
     : super self::C::•()
     ;
 }
 class E extends self::D {
-  constructor •() → void
+  default constructor •() → void
     : super self::D::•()
     ;
 }
 class F extends self::E {
-  constructor •() → void
+  default constructor •() → void
     : super self::E::•()
     ;
 }
 class Test extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   operator [](self::Index i) → self::B

pkg/front_end/testcases/inference/infer_assign_to_index_super.dart.direct.expect

@@ -3,17 +3,17 @@ import self as self;
 import "dart:core" as core;
 
 class Index extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
   operator +(self::C v) → self::A
@@ -26,12 +26,12 @@ class B extends self::A {
     return null;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     : super self::B::•()
     ;
 }
 class Base extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   operator [](self::Index i) → self::B
@@ -39,7 +39,7 @@ class Base extends core::Object {
   operator []=(self::Index i, self::B v) → void {}
 }
 class Test extends self::Base {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {

pkg/front_end/testcases/inference/infer_assign_to_index_super.dart.outline.expect

@@ -3,15 +3,15 @@ import self as self;
 import "dart:core" as core;
 
 class Index extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     ;
   operator +(self::C v) → self::A
     ;
@@ -23,11 +23,11 @@ class B extends self::A {
     ;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class Base extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   operator [](self::Index i) → self::B
     ;
@@ -35,7 +35,7 @@ class Base extends core::Object {
     ;
 }
 class Test extends self::Base {
-  constructor •() → void
+  default constructor •() → void
     ;
   method test() → void
     ;

pkg/front_end/testcases/inference/infer_assign_to_index_super.dart.strong.expect

@@ -3,17 +3,17 @@ import self as self;
 import "dart:core" as core;
 
 class Index extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
   operator +(self::C v) → self::A
@@ -26,12 +26,12 @@ class B extends self::A {
     return null;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     : super self::B::•()
     ;
 }
 class Base extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   operator [](self::Index i) → self::B
@@ -39,7 +39,7 @@ class Base extends core::Object {
   operator []=(self::Index i, self::B v) → void {}
 }
 class Test extends self::Base {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {

pkg/front_end/testcases/inference/infer_assign_to_index_super_upwards.dart.direct.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 abstract class Base<T extends core::Object, U extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   operator [](core::String s) → self::Base::T
@@ -14,7 +14,7 @@ abstract class Base<T extends core::Object, U extends core::Object> extends core
   abstract method setValue(core::String s, self::Base::U v) → void;
 }
 abstract class Test1 extends self::Base<core::int, core::int> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -29,7 +29,7 @@ abstract class Test1 extends self::Base<core::int, core::int> {
   }
 }
 abstract class Test2 extends self::Base<core::int, core::num> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -47,7 +47,7 @@ abstract class Test2 extends self::Base<core::int, core::num> {
   }
 }
 abstract class Test3 extends self::Base<core::int, core::double> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -63,7 +63,7 @@ abstract class Test3 extends self::Base<core::int, core::double> {
   }
 }
 abstract class Test4 extends self::Base<core::num, core::int> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -78,7 +78,7 @@ abstract class Test4 extends self::Base<core::num, core::int> {
   }
 }
 abstract class Test5 extends self::Base<core::num, core::num> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -96,7 +96,7 @@ abstract class Test5 extends self::Base<core::num, core::num> {
   }
 }
 abstract class Test6 extends self::Base<core::num, core::double> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -112,7 +112,7 @@ abstract class Test6 extends self::Base<core::num, core::double> {
   }
 }
 abstract class Test7 extends self::Base<core::double, core::int> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -127,7 +127,7 @@ abstract class Test7 extends self::Base<core::double, core::int> {
   }
 }
 abstract class Test8 extends self::Base<core::double, core::num> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -145,7 +145,7 @@ abstract class Test8 extends self::Base<core::double, core::num> {
   }
 }
 abstract class Test9 extends self::Base<core::double, core::double> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {

pkg/front_end/testcases/inference/infer_assign_to_index_super_upwards.dart.outline.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 abstract class Base<T extends core::Object, U extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   operator [](core::String s) → self::Base::T
     ;
@@ -13,55 +13,55 @@ abstract class Base<T extends core::Object, U extends core::Object> extends core
   abstract method setValue(core::String s, self::Base::U v) → void;
 }
 abstract class Test1 extends self::Base<core::int, core::int> {
-  constructor •() → void
+  default constructor •() → void
     ;
   method test() → void
     ;
 }
 abstract class Test2 extends self::Base<core::int, core::num> {
-  constructor •() → void
+  default constructor •() → void
     ;
   method test() → void
     ;
 }
 abstract class Test3 extends self::Base<core::int, core::double> {
-  constructor •() → void
+  default constructor •() → void
     ;
   method test() → void
     ;
 }
 abstract class Test4 extends self::Base<core::num, core::int> {
-  constructor •() → void
+  default constructor •() → void
     ;
   method test() → void
     ;
 }
 abstract class Test5 extends self::Base<core::num, core::num> {
-  constructor •() → void
+  default constructor •() → void
     ;
   method test() → void
     ;
 }
 abstract class Test6 extends self::Base<core::num, core::double> {
-  constructor •() → void
+  default constructor •() → void
     ;
   method test() → void
     ;
 }
 abstract class Test7 extends self::Base<core::double, core::int> {
-  constructor •() → void
+  default constructor •() → void
     ;
   method test() → void
     ;
 }
 abstract class Test8 extends self::Base<core::double, core::num> {
-  constructor •() → void
+  default constructor •() → void
     ;
   method test() → void
     ;
 }
 abstract class Test9 extends self::Base<core::double, core::double> {
-  constructor •() → void
+  default constructor •() → void
     ;
   method test() → void
     ;

pkg/front_end/testcases/inference/infer_assign_to_index_super_upwards.dart.strong.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 abstract class Base<T extends core::Object, U extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   operator [](core::String s) → self::Base::T
@@ -14,7 +14,7 @@ abstract class Base<T extends core::Object, U extends core::Object> extends core
   abstract method setValue(core::String s, self::Base::U v) → void;
 }
 abstract class Test1 extends self::Base<core::int, core::int> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -29,7 +29,7 @@ abstract class Test1 extends self::Base<core::int, core::int> {
   }
 }
 abstract class Test2 extends self::Base<core::int, core::num> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -47,7 +47,7 @@ abstract class Test2 extends self::Base<core::int, core::num> {
   }
 }
 abstract class Test3 extends self::Base<core::int, core::double> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -63,7 +63,7 @@ abstract class Test3 extends self::Base<core::int, core::double> {
   }
 }
 abstract class Test4 extends self::Base<core::num, core::int> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -78,7 +78,7 @@ abstract class Test4 extends self::Base<core::num, core::int> {
   }
 }
 abstract class Test5 extends self::Base<core::num, core::num> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -96,7 +96,7 @@ abstract class Test5 extends self::Base<core::num, core::num> {
   }
 }
 abstract class Test6 extends self::Base<core::num, core::double> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -112,7 +112,7 @@ abstract class Test6 extends self::Base<core::num, core::double> {
   }
 }
 abstract class Test7 extends self::Base<core::double, core::int> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -127,7 +127,7 @@ abstract class Test7 extends self::Base<core::double, core::int> {
   }
 }
 abstract class Test8 extends self::Base<core::double, core::num> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {
@@ -145,7 +145,7 @@ abstract class Test8 extends self::Base<core::double, core::num> {
   }
 }
 abstract class Test9 extends self::Base<core::double, core::double> {
-  constructor •() → void
+  default constructor •() → void
     : super self::Base::•()
     ;
   method test() → void {

pkg/front_end/testcases/inference/infer_assign_to_index_this.dart.direct.expect

@@ -3,17 +3,17 @@ import self as self;
 import "dart:core" as core;
 
 class Index extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
   operator +(self::C v) → self::A
@@ -26,12 +26,12 @@ class B extends self::A {
     return null;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     : super self::B::•()
     ;
 }
 class Test extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   operator [](self::Index i) → self::B

pkg/front_end/testcases/inference/infer_assign_to_index_this.dart.outline.expect

@@ -3,15 +3,15 @@ import self as self;
 import "dart:core" as core;
 
 class Index extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     ;
   operator +(self::C v) → self::A
     ;
@@ -23,11 +23,11 @@ class B extends self::A {
     ;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     ;
 }
 class Test extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   operator [](self::Index i) → self::B
     ;

pkg/front_end/testcases/inference/infer_assign_to_index_this.dart.strong.expect

@@ -3,17 +3,17 @@ import self as self;
 import "dart:core" as core;
 
 class Index extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class A extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
 }
 class B extends self::A {
-  constructor •() → void
+  default constructor •() → void
     : super self::A::•()
     ;
   operator +(self::C v) → self::A
@@ -26,12 +26,12 @@ class B extends self::A {
     return null;
 }
 class C extends self::B {
-  constructor •() → void
+  default constructor •() → void
     : super self::B::•()
     ;
 }
 class Test extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   operator [](self::Index i) → self::B

pkg/front_end/testcases/inference/infer_assign_to_index_this_upwards.dart.direct.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 abstract class Test1 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::int;
@@ -20,7 +20,7 @@ abstract class Test1 extends core::Object {
   }
 }
 abstract class Test2 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::int;
@@ -40,7 +40,7 @@ abstract class Test2 extends core::Object {
   }
 }
 abstract class Test3 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::int;
@@ -58,7 +58,7 @@ abstract class Test3 extends core::Object {
   }
 }
 abstract class Test4 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::num;
@@ -75,7 +75,7 @@ abstract class Test4 extends core::Object {
   }
 }
 abstract class Test5 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::num;
@@ -95,7 +95,7 @@ abstract class Test5 extends core::Object {
   }
 }
 abstract class Test6 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::num;
@@ -113,7 +113,7 @@ abstract class Test6 extends core::Object {
   }
 }
 abstract class Test7 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::double;
@@ -130,7 +130,7 @@ abstract class Test7 extends core::Object {
   }
 }
 abstract class Test8 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::double;
@@ -150,7 +150,7 @@ abstract class Test8 extends core::Object {
   }
 }
 abstract class Test9 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::double;

pkg/front_end/testcases/inference/infer_assign_to_index_this_upwards.dart.outline.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 abstract class Test1 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   abstract operator [](core::String s) → core::int;
   abstract operator []=(core::String s, core::int v) → void;
@@ -11,7 +11,7 @@ abstract class Test1 extends core::Object {
     ;
 }
 abstract class Test2 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   abstract operator [](core::String s) → core::int;
   abstract operator []=(core::String s, core::num v) → void;
@@ -19,7 +19,7 @@ abstract class Test2 extends core::Object {
     ;
 }
 abstract class Test3 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   abstract operator [](core::String s) → core::int;
   abstract operator []=(core::String s, core::double v) → void;
@@ -27,7 +27,7 @@ abstract class Test3 extends core::Object {
     ;
 }
 abstract class Test4 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   abstract operator [](core::String s) → core::num;
   abstract operator []=(core::String s, core::int v) → void;
@@ -35,7 +35,7 @@ abstract class Test4 extends core::Object {
     ;
 }
 abstract class Test5 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   abstract operator [](core::String s) → core::num;
   abstract operator []=(core::String s, core::num v) → void;
@@ -43,7 +43,7 @@ abstract class Test5 extends core::Object {
     ;
 }
 abstract class Test6 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   abstract operator [](core::String s) → core::num;
   abstract operator []=(core::String s, core::double v) → void;
@@ -51,7 +51,7 @@ abstract class Test6 extends core::Object {
     ;
 }
 abstract class Test7 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   abstract operator [](core::String s) → core::double;
   abstract operator []=(core::String s, core::int v) → void;
@@ -59,7 +59,7 @@ abstract class Test7 extends core::Object {
     ;
 }
 abstract class Test8 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   abstract operator [](core::String s) → core::double;
   abstract operator []=(core::String s, core::num v) → void;
@@ -67,7 +67,7 @@ abstract class Test8 extends core::Object {
     ;
 }
 abstract class Test9 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   abstract operator [](core::String s) → core::double;
   abstract operator []=(core::String s, core::double v) → void;

pkg/front_end/testcases/inference/infer_assign_to_index_this_upwards.dart.strong.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 abstract class Test1 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::int;
@@ -20,7 +20,7 @@ abstract class Test1 extends core::Object {
   }
 }
 abstract class Test2 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::int;
@@ -40,7 +40,7 @@ abstract class Test2 extends core::Object {
   }
 }
 abstract class Test3 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::int;
@@ -58,7 +58,7 @@ abstract class Test3 extends core::Object {
   }
 }
 abstract class Test4 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::num;
@@ -75,7 +75,7 @@ abstract class Test4 extends core::Object {
   }
 }
 abstract class Test5 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::num;
@@ -95,7 +95,7 @@ abstract class Test5 extends core::Object {
   }
 }
 abstract class Test6 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::num;
@@ -113,7 +113,7 @@ abstract class Test6 extends core::Object {
   }
 }
 abstract class Test7 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::double;
@@ -130,7 +130,7 @@ abstract class Test7 extends core::Object {
   }
 }
 abstract class Test8 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::double;
@@ -150,7 +150,7 @@ abstract class Test8 extends core::Object {
   }
 }
 abstract class Test9 extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → core::double;

pkg/front_end/testcases/inference/infer_assign_to_index_upwards.dart.direct.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 abstract class Test<T extends core::Object, U extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → self::Test::T;

pkg/front_end/testcases/inference/infer_assign_to_index_upwards.dart.outline.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 abstract class Test<T extends core::Object, U extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     ;
   abstract operator [](core::String s) → self::Test::T;
   abstract operator []=(core::String s, self::Test::U v) → void;

pkg/front_end/testcases/inference/infer_assign_to_index_upwards.dart.strong.expect

@@ -3,7 +3,7 @@ import self as self;
 import "dart:core" as core;
 
 abstract class Test<T extends core::Object, U extends core::Object> extends core::Object {
-  constructor •() → void
+  default constructor •() → void
     : super core::Object::•()
     ;
   abstract operator [](core::String s) → self::Test::T;