blob: 63723ee19c9bea829ab15db218f103a5fe07970d [file] [log] [blame]
// 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.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.
/*Null Function()**/ bottom2 = () => throw '';
}