// 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
/// non-function type alias with type parameters
/// @author sgrekhov@unipro.ru

import "../../../Utils/expect.dart";

class A {}
class B extends A {}
class D extends B {}

class C<T extends A> {
  T t;
  C(this.t);
}

typedef CAlias<T extends B> = C<T>;

main() {
  CAlias<D> ca = new CAlias<D>(new D());
  Expect.isTrue(ca is C<D>);
  Expect.isTrue(ca.t is D);
  Expect.runtimeIsType<C<D>>(ca);
  Expect.runtimeIsType<D>(ca.t);
}