// 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 Let e be a constant object expression of the form | |
/// const T.id(a1, ..., an, xn+1: an+1, ..., xn+k: an+k) or the form | |
/// const T(a1, ..., an, xn+1: an+1, ..., xn+k: an+k). | |
/// If T is a parameterized type, it is a compile-time error if T includes | |
/// a type variable among its type arguments. | |
/// @description Checks that it is an error if T includes any type parameters as | |
/// a type argument. | |
/// @issue 27492 | |
/// @author msyabro | |
class S<U> { | |
const S(); | |
} | |
class A<T> { | |
test() { | |
const S<T>(); //type variable as a type argument | |
// ^ | |
// [analyzer]unspecified | |
// [cfe]unspecified | |
} | |
} | |
main() { | |
A<int>(); | |
} |