Language/Expressions/Function_Invocation/Function_Expression_Invocation/static_type_dynamic_t02.dart

// 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 If F is not a function type, the static type of i is Dynamic.
 * Otherwise the static type of i is the declared return type of F.
 * @note no longer in spec:
 *   Let Ti be the static type of ai, i from 1 to n + k. It is a static warning
 * if F is not a supertype of (T1, ..., Tn, [Tn+1 xn+1, ..., Tn+k xn+k]) -> ⊥.
 * @description Checks that it is a compile error if F is not a supertype
 * of (T1, ..., Tn, [Tn+1 xn+1, ..., Tn+k xn+k]) -> ⊥.
 * @compile-error
 * @author msyabro
 */

main() {
  var f = (int p1, int p2) {};
  f("", "");
}