// Copyright (c) 2017, 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.

/*@testedFeatures=inference*/
library test;

void optional_toplevel([List<int> x = /*@typeArgs=int*/ const []]) {}

void named_toplevel({List<int> x = /*@typeArgs=int*/ const []}) {}

main() {
  void optional_local([List<int> x = /*@typeArgs=int*/ const []]) {}
  void named_local({List<int> x = /*@typeArgs=int*/ const []}) {}
  var /*@type=([List<int>]) -> Null*/ optional_closure = /*@ returnType=Null */
      ([List<int> x = /*@typeArgs=int*/ const []]) {};
  var /*@type=({x: List<int>}) -> Null*/ name_closure = /*@ returnType=Null */
      ({List<int> x = /*@typeArgs=int*/ const []}) {};
}