Language/Types/Type_Aliases/syntax_t21.dart

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

/// @assertion A type alias declares a name for a type expression.
/// <typeAlias> ::=<metadata> typedef <typeIdentifier> <typeParameters>?‘=’<type>
/// ‘;’
/// | <metadata> typedef <functionTypeAlias>
///  <functionTypeAlias> ::= <functionPrefix> <formalParameterPart> ‘;’
///  <functionPrefix> ::= <type>? <identifier>
/// @description Checks that type alias syntax works as expected. Test
/// built-in types
/// @author sgrekhov@unipro.ru

import "dart:async";
import "../../../Utils/expect.dart";

const int meta = 1;

@meta typedef AFuture1 = Future;
@meta typedef AFuture2<X> = Future<X>;

@meta typedef AFutureOr1 = FutureOr;
@meta typedef AFutureOr2<X> = FutureOr<X>;

main() {
  AFuture1 af1 = new Future.value("Lily was here");
  Expect.isTrue(af1 is Future<dynamic>);

  AFuture2<String> af2 = new Future<String>.value("Lily was here");
  Expect.isTrue(af2 is Future<String>);

  AFutureOr1 afr1 = new Future.value("Lily was here");
  Expect.isTrue(afr1 is Future<dynamic>);

  AFutureOr1 afr11 = "Lily was here";
  Expect.isTrue(afr11 is dynamic);

  AFutureOr2<String> afr2 = new Future<String>.value("Lily was here");
  Expect.isTrue(afr2 is Future<String>);

  AFutureOr2<String> afr22 = "Lily was here";
  Expect.isTrue(afr22 is String);
}