blob: 251bb1bcea29358280a50411ab51b3c9a5412d62 [file] [log] [blame]
/*
* Copyright (c) 2011, 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 Evaluation of an identifier expression e of the form id proceeds as follows:
* Let d be the innermost declaration in the enclosing lexical scope whose name
* is id. If no such declaration exists in the lexical scope, let d be the declaration
* of the inherited member named id if it exists.
* ...
* • If d is a type parameter T , then the value of e is the value of the actual
* type argument corresponding to T that was passed to the generative constructor that
* created the current binding of this.
* @description Checks that there is no compile-time error if identifier
* expression in a return statement refers to a type parameter.
* @author kaigorodov
*/
import "../../Utils/expect.dart";
class A<T> {
Type func() => T;
}
main() {
Expect.equals(int, new A<int>().func());
Expect.equals(Object, new A<Object>().func());
Expect.equals(List, new A<List>().func());
}