blob: 80ab19335a910033057dfce4aec49ca824d3217a [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 test program for constructors and initializers.
// Check function subtyping of inlined function typed parameters.
import '../dynamic_type_helper.dart';
class C {
var field;
C.c1(int this.field());
C.c2({int this.field()});
C.c3({int field(): null});
C.c4({int this.field(): null});
C.c5([int this.field()]);
C.c6([int field() = null]);
C.c7([int this.field() = null]);
void test(var f, String constructorName) {
testDynamicTypeError(false, () => f(m1), "'new C.$constructorName(m1)'");
testDynamicTypeError(true, () => f(m2), "'new C.$constructorName(m2)'");
testDynamicTypeError(false, () => f(m3), "'new C.$constructorName(m3)'");
testDynamicTypeError(true, () => f(m4), "'new C.$constructorName(m4)'");
int m1() => null;
String m2() => null;
Null m3() => null;
Null m4(int i) => null;
main() {
test((m) => new C.c1(m), 'c1');
test((m) => new C.c2(field: m), 'c2');
test((m) => new C.c3(field: m), 'c3');
test((m) => new C.c4(field: m), 'c4');
test((m) => new C.c5(m), 'c5');
test((m) => new C.c6(m), 'c6');
test((m) => new C.c7(m), 'c7');