frog bug 642: type variables can't be used in allocations.

tests/language/src/NewExpressionTypeArgsFrogTest.dart

Index: tests/language/src/NewExpressionTypeArgsFrogTest.dart
diff --git a/tests/language/src/NewExpressionTypeArgsFrogTest.dart b/tests/language/src/NewExpressionTypeArgsFrogTest.dart
new file mode 100644
index 0000000000000000000000000000000000000000..64b76ec7ab607ac3fe84362662bb8d3a292794cf
--- /dev/null
+++ b/tests/language/src/NewExpressionTypeArgsFrogTest.dart
@@ -0,0 +1,22 @@
+// 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.
+
+// Tests showing errors using type-arguments in new expressions:
+class A<T> {
+  // Can't intantiate type parameter (within static or instance method).
+  m1() => new T();
+  static m2() => new T();
+
+  // OK when used within instance method, but not in static method.
+  m3() => new A<T>();
+  static m4() => new A<T>();
+}
+
+main() {
+  A a = new A();
+  a.m1(); /// 00: compile-time error
+  A.m2(); /// 01: compile-time error
+  a.m3();
+  A.m4(); /// 02: compile-time error
+}