blob: d316c9cbfc8997c98448186b102d5f0e06cbd12d [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 ∈ 1..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 ∈ 1..m.
/// @description Checks that it is a compile error if the type of an actual
/// argument may not be assigned to the type of a positional parameter of a
/// function literal.
/// @compile-error
/// @author msyabro
main() {
var f = (int x) {};
f('');
}