| // 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. |
| |
| /*library: nnbd=true*/ |
| 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*/ o1, |
| bool? /*normal|limited.bool?*/ /*verbose.dart.core::bool?*/ o2) {} |
| numType(num /*normal|limited.num*/ /*verbose.dart.core::num*/ o1, |
| num? /*normal|limited.num?*/ /*verbose.dart.core::num?*/ o2) {} |
| intType(int /*normal|limited.int*/ /*verbose.dart.core::int*/ o1, |
| int? /*normal|limited.int?*/ /*verbose.dart.core::int?*/ o2) {} |
| doubleType(double /*normal|limited.double*/ /*verbose.dart.core::double*/ o1, |
| double? /*normal|limited.double?*/ /*verbose.dart.core::double?*/ o2) {} |
| stringType(String /*normal|limited.String*/ /*verbose.dart.core::String*/ o1, |
| String? /*normal|limited.String?*/ /*verbose.dart.core::String?*/ o2) {} |
| voidType(void /*void*/ o) {} |
| dynamicType(dynamic /*dynamic*/ o) {} |
| neverType(Never /*Never*/ o1, Never? /*Never?*/ o2) {} |
| objectType(Object /*normal|limited.Object*/ /*verbose.dart.core::Object*/ o1, |
| Object? /*normal|limited.Object?*/ /*verbose.dart.core::Object?*/ o2) {} |
| genericType1( |
| List<int> |
| /*normal|limited.List<int>*/ |
| /*verbose.dart.core::List<dart.core::int>*/ |
| o1, |
| List<int>? |
| /*normal|limited.List<int>?*/ |
| /*verbose.dart.core::List<dart.core::int>?*/ |
| o2, |
| List<int?> |
| /*normal|limited.List<int?>*/ |
| /*verbose.dart.core::List<dart.core::int?>*/ |
| o3, |
| List<int?>? |
| /*normal|limited.List<int?>?*/ |
| /*verbose.dart.core::List<dart.core::int?>?*/ |
| o4) {} |
| genericType2( |
| Map<int, String> |
| /*normal|limited.Map<int, String>*/ |
| /*verbose.dart.core::Map<dart.core::int, dart.core::String>*/ |
| o1, |
| Map<int, String?>? |
| /*normal|limited.Map<int, String?>?*/ |
| /*verbose.dart.core::Map<dart.core::int, dart.core::String?>?*/ |
| o2) {} |
| futureOrType( |
| FutureOr<int> |
| /*normal|limited.FutureOr<int>*/ |
| /*verbose.FutureOr<dart.core::int>*/ |
| o1, |
| FutureOr<int>? |
| /*normal|limited.FutureOr<int>?*/ |
| /*verbose.FutureOr<dart.core::int>?*/ |
| o2, |
| FutureOr<int?> |
| /*normal|limited.FutureOr<int?>*/ |
| /*verbose.FutureOr<dart.core::int?>*/ |
| o3, |
| FutureOr<int?>? |
| /*normal|limited.FutureOr<int?>?*/ |
| /*verbose.FutureOr<dart.core::int?>?*/ |
| o4) {} |
| typeVariableType1<T>(T /*T%*/ o1, T? /*T?*/ o2) {} |
| typeVariableType2<T extends num>(T /*T*/ o1, T? /*T?*/ o2) {} |
| typeVariableType3<T extends S, S>( |
| T /*T%*/ o1, S /*S%*/ p1, T? /*T?*/ o2, S? /*S?*/ p2) {} |
| typeVariableType4<T, S extends T>( |
| T /*T%*/ o1, S /*S%*/ p1, T? /*T?*/ o2, S? /*S?*/ p2) {} |
| typeVariableType5<T extends Object>(T /*T*/ o1, T? /*T?*/ o2) {} |
| typeVariableType6<T extends Object?>(T /*T%*/ o1, T? /*T?*/ o2) {} |
| functionType1(void Function() /*void Function()*/ o1, |
| void Function()? /*void Function()?*/ o2) {} |
| functionType2( |
| int Function(int) |
| /*normal|limited.int Function(int)*/ |
| /*verbose.dart.core::int Function(dart.core::int)*/ |
| o1, |
| int? Function(int?) |
| /*normal|limited.int? Function(int?)*/ |
| /*verbose.dart.core::int? Function(dart.core::int?)*/ |
| o2) {} |
| 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])*/ |
| o1, |
| int Function([int?]) |
| /*normal|limited.int Function([int?])*/ |
| /*verbose.dart.core::int Function([dart.core::int?])*/ |
| o2) {} |
| 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})*/ |
| o1, |
| int Function({int? a}) |
| /*normal|limited.int Function({a: int?})*/ |
| /*verbose.dart.core::int Function({a: dart.core::int?})*/ |
| o2) {} |
| 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({required int a, String b}) |
| /*normal|limited.int Function({required a: int, b: String})*/ |
| /*verbose.dart.core::int Function({required a: dart.core::int, b: dart.core::String})*/ |
| o) {} |
| functionType10( |
| int Function({int a, required String b}) |
| /*normal|limited.int Function({a: int, required b: String})*/ |
| /*verbose.dart.core::int Function({a: dart.core::int, required b: dart.core::String})*/ |
| o) {} |
| functionType11( |
| int Function({required int a, required String b}) |
| /*normal|limited.int Function({required a: int, required b: String})*/ |
| /*verbose.dart.core::int Function({required a: dart.core::int, required b: dart.core::String})*/ |
| o) {} |
| genericFunctionType1(void Function<T>() /*void Function<T>()*/ o) {} |
| genericFunctionType2(T Function<T>(T, T?) /*T% Function<T>(T%, T?)*/ o) {} |
| genericFunctionType3( |
| T Function<T, S>(T, S, T?, S?) /*T% Function<T, S>(T%, S%, T?, S?)*/ o) {} |
| genericFunctionType4( |
| T Function<T extends num>([T, T?]) |
| /*normal|limited.T Function<T extends num>([T, T?])*/ |
| /*verbose.T Function<T extends dart.core::num>([T, 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>*/ |
| o1, |
| Typedef2<int?> |
| /*normal|limited.Typedef2<int?>*/ |
| /*verbose.test::Typedef2<dart.core::int?>*/ |
| o2) {} |
| 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>*/ |
| o1, |
| Typedef4<int>? |
| /*normal|limited.Typedef4<int>?*/ |
| /*verbose.test::Typedef4<dart.core::int>?*/ |
| o2) {} |
| typedefType8( |
| Typedef5 |
| /*normal|limited.Typedef5<dynamic>*/ |
| /*verbose.test::Typedef5<dynamic>*/ |
| o) {} |
| typedefType9( |
| Typedef5<int> |
| /*normal|limited.Typedef5<int>*/ |
| /*verbose.test::Typedef5<dart.core::int>*/ |
| o1, |
| Typedef5<int?>? |
| /*normal|limited.Typedef5<int?>?*/ |
| /*verbose.test::Typedef5<dart.core::int?>?*/ |
| o2) {} |
| |
| method() { |
| var /*dynamic Function<T>(T%, T?)*/ o1 = |
| /*normal|limited.typeVariableType1*/ |
| /*verbose.test::typeVariableType1*/ |
| typeVariableType1; |
| var /*normal|limited.dynamic Function<T extends num>(T, T?)*/ |
| /*verbose.dynamic Function<T extends dart.core::num>(T, T?)*/ o2 = |
| /*normal|limited.typeVariableType2*/ |
| /*verbose.test::typeVariableType2*/ |
| typeVariableType2; |
| var /*dynamic Function<T extends S%, S>(T%, S%, T?, S?)*/ o3 = |
| /*normal|limited.typeVariableType3*/ |
| /*verbose.test::typeVariableType3*/ |
| typeVariableType3; |
| var /*dynamic Function<T, S extends T%>(T%, S%, T?, S?)*/ o4 = |
| /*normal|limited.typeVariableType4*/ |
| /*verbose.test::typeVariableType4*/ |
| typeVariableType4; |
| var /*normal|limited.dynamic Function<T extends Object>(T, T?)*/ |
| /*verbose.dynamic Function<T extends dart.core::Object>(T, T?)*/ o5 = |
| /*normal|limited.typeVariableType5*/ |
| /*verbose.test::typeVariableType5*/ |
| typeVariableType5; |
| var /*normal|limited.dynamic Function<T extends Object?>(T%, T?)*/ |
| /*verbose.dynamic Function<T extends dart.core::Object?>(T%, T?)*/ o6 = |
| /*normal|limited.typeVariableType6*/ |
| /*verbose.test::typeVariableType6*/ |
| typeVariableType6; |
| |
| var /*Never*/ bottom1 = throw ''; |
| var /*Never Function()*/ bottom2 = () => throw ''; |
| } |
