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

// @dart=2.6

/*library: nnbd=false*/
library test;

import 'dart:async';

typedef void Typedef1();
typedef void Typedef2<T>(T o);
typedef Typedef3 = void Function();
typedef Typedef4<T> = void Function(T);
typedef Typedef5<T> = void Function<S>(T, S);

boolType(bool /*normal|limited.bool**/ /*verbose.dart.core::bool**/ o) {}
numType(num /*normal|limited.num**/ /*verbose.dart.core::num**/ o) {}
intType(int /*normal|limited.int**/ /*verbose.dart.core::int**/ o) {}
doubleType(
    double /*normal|limited.double**/ /*verbose.dart.core::double**/ o) {}
stringType(
    String /*normal|limited.String**/ /*verbose.dart.core::String**/ o) {}
voidType(void /*void*/ o) {}
dynamicType(dynamic /*dynamic*/ o) {}
neverType(Never /*normal|limited.Null?*/ /*verbose.dart.core::Null?*/ o) {}
objectType(
    Object /*normal|limited.Object**/ /*verbose.dart.core::Object**/ o) {}
genericType1(
    List<int>
        /*normal|limited.List<int*>**/
        /*verbose.dart.core::List<dart.core::int*>**/
        o) {}
genericType2(
    Map<int, String>
        /*normal|limited.Map<int*, String*>**/
        /*verbose.dart.core::Map<dart.core::int*, dart.core::String*>**/
        o) {}
futureOrType(
    FutureOr<int>
        /*normal|limited.FutureOr<int*>**/
        /*verbose.FutureOr<dart.core::int*>**/
        o) {}
typeVariableType1<T>(T /*T**/ o) {}
typeVariableType2<T extends num>(T /*T**/ o) {}
typeVariableType3<T extends S, S>(T /*T**/ o, S /*S**/ p) {}
typeVariableType4<T, S extends T>(T /*T**/ o, S /*S**/ p) {}
typeVariableType5<T extends Object>(T /*T**/ o) {}
functionType1(void Function() /*void Function()**/ o) {}
functionType2(
    int Function(int)
        /*normal|limited.int* Function(int*)**/
        /*verbose.dart.core::int* Function(dart.core::int*)**/
        o) {}
functionType3(
    int Function(int, String)
        /*normal|limited.int* Function(int*, String*)**/
        /*verbose.dart.core::int* Function(dart.core::int*, dart.core::String*)**/
        o) {}
functionType4(
    int Function([int])
        /*normal|limited.int* Function([int*])**/
        /*verbose.dart.core::int* Function([dart.core::int*])**/
        o) {}
functionType5(
    int Function([int, String])
        /*normal|limited.int* Function([int*, String*])**/
        /*verbose.dart.core::int* Function([dart.core::int*, dart.core::String*])**/
        o) {}
functionType6(
    int Function({int a})
        /*normal|limited.int* Function({a: int*})**/
        /*verbose.dart.core::int* Function({a: dart.core::int*})**/
        o) {}
functionType7(
    int Function({int a, String b})
        /*normal|limited.int* Function({a: int*, b: String*})**/
        /*verbose.dart.core::int* Function({a: dart.core::int*, b: dart.core::String*})**/
        o) {}
functionType8(
    int Function(int, {String b})
        /*normal|limited.int* Function(int*, {b: String*})**/
        /*verbose.dart.core::int* Function(dart.core::int*, {b: dart.core::String*})**/
        o) {}
functionType9(
    int Function({int a, String b})
        /*normal|limited.int* Function({a: int*, b: String*})**/
        /*verbose.dart.core::int* Function({a: dart.core::int*, b: dart.core::String*})**/
        o) {}
genericFunctionType1(void Function<T>() /*void Function<T>()**/ o) {}
genericFunctionType2(T Function<T>(T) /*T* Function<T>(T*)**/ o) {}
genericFunctionType3(T Function<T, S>(T, S) /*T* Function<T, S>(T*, S*)**/ o) {}
genericFunctionType4(
    T Function<T extends num>([T])
        /*normal|limited.T* Function<T extends num*>([T*])**/
        /*verbose.T* Function<T extends dart.core::num*>([T*])**/
        o) {}
// TODO(johnniwinther): Support interdependent function type variables.
//genericFunctionType5(T Function<T, S extends T>([T, S]) o) {}
//genericFunctionType6(T Function<T extends S, S>([T, S]) o) {}
typedefType1(
    Typedef1 /*normal|limited.Typedef1**/ /*verbose.test::Typedef1**/ o) {}
typedefType2(
    Typedef2
        /*normal|limited.Typedef2<dynamic>**/
        /*verbose.test::Typedef2<dynamic>**/
        o) {}
typedefType3(
    Typedef2<int>
        /*normal|limited.Typedef2<int*>**/
        /*verbose.test::Typedef2<dart.core::int*>**/
        o) {}
typedefType4(
    Typedef3
        /*normal|limited.Typedef3**/
        /*verbose.test::Typedef3**/
        o) {}
typedefType5(
    Typedef4
        /*normal|limited.Typedef4<dynamic>**/
        /*verbose.test::Typedef4<dynamic>**/
        o) {}
typedefType7(
    Typedef4<int>
        /*normal|limited.Typedef4<int*>**/
        /*verbose.test::Typedef4<dart.core::int*>**/
        o) {}
typedefType8(
    Typedef5
        /*normal|limited.Typedef5<dynamic>**/
        /*verbose.test::Typedef5<dynamic>**/
        o) {}
typedefType9(
    Typedef5<int>
        /*normal|limited.Typedef5<int*>**/
        /*verbose.test::Typedef5<dart.core::int*>**/
        o) {}

method() {
  var /*dynamic Function<T>(T*)**/ o1 =
      /*normal|limited.typeVariableType1*/
      /*verbose.test::typeVariableType1*/
      typeVariableType1;
  var /*normal|limited.dynamic Function<T extends num*>(T*)**/
      /*verbose.dynamic Function<T extends dart.core::num*>(T*)**/ o2 =
      /*normal|limited.typeVariableType2*/
      /*verbose.test::typeVariableType2*/
      typeVariableType2;
  var /*dynamic Function<T extends S*, S>(T*, S*)**/ o3 =
      /*normal|limited.typeVariableType3*/
      /*verbose.test::typeVariableType3*/
      typeVariableType3;
  var /*dynamic Function<T, S extends T*>(T*, S*)**/ o4 =
      /*normal|limited.typeVariableType4*/
      /*verbose.test::typeVariableType4*/
      typeVariableType4;
  var /*normal|limited.dynamic Function<T extends Object*>(T*)**/
      /*verbose.dynamic Function<T extends dart.core::Object*>(T*)**/ o5 =
      /*normal|limited.typeVariableType5*/
      /*verbose.test::typeVariableType5*/
      typeVariableType5;

  var /*dynamic*/ bottom1 = throw '';
  var
      // Comment inserted to ensure whitespace between 'var' and 'bottom2'; the
      // formatter doesn't preserve the space before the annotation.
      /*<bottom> Function()**/ bottom2 = () => throw '';
}