blob: 876befd8446f70560da3ab16831e348a8acf243d [file] [log] [blame]
// Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
// @dart = 2.9
// Regression test for dart2js's type inferrer that used to not
// propagate default types in synthesized calls.
import "package:expect/expect.dart";
class A {
final x;
A([this.x = 'foo']);
}
class B extends A {
// The synthesized constructor was not saying that it would call
// [A]'s constructor with its default type.
}
main() {
// By calling [B]'s constructor with an int parameter, the inferrer
// used to only see this call and consider the [A.x] field to always
// be int.
Expect.equals(84, new A(42).x + 42);
Expect.throwsTypeError(() => new B().x + 42);
}