// 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. Test <dynamic> parameter type
 * @author sgrekhov@unipro.ru
 */
import "../../../../Utils/expect.dart";

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

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