Language/Types/Parameterized_Types/Actual_Type_of_Declaration/actual_type_t04.dart

// Copyright (c) 2016, 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 Let T be the declared type of a declaration d, as it appears in
/// the program source. The actual type of d is
///  • [A1,...,An/U1,...,Un]T if d depends on type parameters U1,...,Un, and
///    Ai is the value of Ui, 1 ≤ i ≤ n.
///  • T otherwise.
/// @description Checks that if type T depends on type parameters, then
/// its actual type is [A1,...,An/U1,...,Un]T
/// @author sgrekhov@unipro.ru

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

class C<T> {
  List<T> f() => [];
}

main() {
  C<int> c = new C<int>();
  Expect.isTrue(c.f() is List<int>);
}