// 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 f be a function with h required parameters, let p1, ..., pn
/// be the positional parameters of f and let ph+1, ..., ph+k be the named
/// parameters declared by f.
/// An evaluated actual argument list o1, ..., om+l derived from an actual
/// argument list of the form (a1, ..., am, q1: am+1, ..., ql: am+l) is bound to
/// the formal parameters of f as follows:
/// . . .
/// If l > 0, then it is necessarily the case that n = h, because a method cannot
/// have both optional positional parameters and named parameters.
/// If m < h, or m > n, a NoSuchMethodError is thrown. Furthermore, each
/// qi, 1 <= i <= l, must be a member of the set {ph+1, ..., ph+k} or a
/// NoSuchMethodError is thrown. Then pi is bound to oi, i ∈ 1..m, and qj is
/// bound to om+j, j ∈ 1 1..l.
/// All remaining formal parameters of f are bound to their default values.
/// @description Checks that it is a compile time error if the actual argument
/// list contains a named argument whose name is not among those specified in
/// the function declaration.
/// @author msyabro


func(p1, p2, {p3}) {}

main() {
  func(1, 2, p: 3);
//           ^
// [analyzer] unspecified
// [cfe] unspecified
}