blob: 63faf817add9e3d974e69f0ab2e1ba2c2c1fc00b [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 Let Ti be the static type of ai, let Si be the type of pi, i from 1 to h + k and let
* Sq be the type of the named parameter q of f. It is a static warning if Tj may
* not be assigned to Sj, j from 1 to m.
* @description Checks that it is a static warning if the type of an actual argument may
* not be assigned to the type of a positional parameter of a function literal.
* @static-warning
* @author msyabro
* @reviewer iefremov
*/
import "../../../Utils/dynamic_check.dart";
main() {
checkTypeError(() {
(int x) {} (''); /// static type warning
});
}