// 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;

class C<T> {
  C.optional(void func([T x])) {}
  C.named(void func({T x})) {}
}

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

void named_toplevel({x: /*@ typeArgs=int* */ const [0]}) {}

main() {
  void optional_local([/*@ type=dynamic */ x = /*@ typeArgs=int* */ const [0]]) {}
  void named_local({/*@ type=dynamic */ x: /*@ typeArgs=int* */ const [0]}) {}
  var /*@ type=C<dynamic>* */ c_optional_toplevel =
      new /*@ typeArgs=dynamic */ C.optional(optional_toplevel);
  var /*@ type=C<dynamic>* */ c_named_toplevel =
      new /*@ typeArgs=dynamic */ C.named(named_toplevel);
  var /*@ type=C<dynamic>* */ c_optional_local =
      new /*@ typeArgs=dynamic */ C.optional(optional_local);
  var /*@ type=C<dynamic>* */ c_named_local =
      new /*@ typeArgs=dynamic */ C.named(named_local);
  var /*@ type=C<dynamic>* */ c_optional_closure =
      new /*@ typeArgs=dynamic */ C.optional(/*@ returnType=Null */ (
          [/*@ type=dynamic */ x = /*@ typeArgs=int* */ const [0]]) {});
  var /*@ type=C<dynamic>* */ c_named_closure = new /*@ typeArgs=dynamic */ C.named(
      /*@ returnType=Null */ (
          {/*@ type=dynamic */ x: /*@ typeArgs=int* */ const [0]}) {});
}