blob: 920fda8c1b51a6df6d9a2691b85c305867a8a3fa [file] [log] [blame]
/*
* Copyright (c) 2011, 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.
*/
/**
* @assertion It is a static warning if Tj may not be assigned to
* Sq(j - m), j from m + 1 to m + l.
* @description Checks that it is a static warning if the type of an actual argument may
* not be assigned to the type of an optional parameter of a static method.
* @static-warning
* @author msyabro
* @reviewer iefremov
*/
import "../../../Utils/dynamic_check.dart";
class C {
static func([int x]) {}
test() {
checkTypeError(() => func ('')); /// static type warning
}
}
main() {
new C().test();
}