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

frog/minfrog

 #!/usr/bin/env node
 //  ********** Library dart:core **************
 //  ********** Natives dart:core **************
 /**
  * Generates a dynamic call stub for a function.
  * Our goal is to create a stub method like this on-the-fly:
  *   function($0, $1, capture) { return this($0, $1, true, capture); }
  *
  * This stub then replaces the dynamic one on Function, with one that is
  * specialized for that particular function, taking into account its default
@@ skipping 3708 matching lines @@
     var names = ListFactory.ListFactory$from$factory(typeRef.get$names());
     constructorName = names.removeLast$0().get$name();
     if ($eq(names.length, 0)) names = null;
     typeRef = new NameTypeReference(typeRef.get$isFinal(), typeRef.get$name(), names, typeRef.get$span());
   }
   var type = this.method.resolveType(typeRef, true);
   if (type.get$isTop()) {
     type = type.get$library().findTypeByName$1(constructorName);
     constructorName = '';
   }
+  if (this.method.get$isStatic() && ((this.method.get$typeParameters() == null && type.get$hasTypeParams()) || (type instanceof ParameterType))) {
+    $globals.world.error('using type parameter in static context', node.span);
+    return this._makeMissingValue(constructorName);
+  }
+  else if ((type instanceof ParameterType)) {
+    $globals.world.error('cannot instantiate a type parameter', node.span);
+    return this._makeMissingValue(constructorName);
+  }
   var m = type.getConstructor$1(constructorName);
   if (m == null) {
     var name = type.get$jsname();
     if (type.get$isVar()) {
       name = typeRef.get$name().get$name();
     }
     $globals.world.error(('no matching constructor for ' + name), node.span);
     return this._makeMissingValue(name);
   }
   if (node.isConst) {
@@ skipping 778 matching lines @@
     $globals.world.error('initializer parameters only allowed on constructors', this.definition.span);
   }
 }
 Parameter.prototype.genValue = function(method, context) {
   if (this.definition.value == null || this.value != null) return;
   if (context == null) {
     context = new MethodGenerator(method, null);
   }
   this.value = this.definition.value.visit(context);
   if (!this.value.get$isConst()) {
-    $globals.world.error('default arguments must be constant', this.value.span);
+    $globals.world.error('default parameter values must be constant', this.value.span);
   }
   this.value = this.value.convertTo(context, this.type, this.definition.value, false);
 }
 Parameter.prototype.copyWithNewType = function(newMethod, newType) {
   var ret = new Parameter(this.definition, newMethod);
   ret.set$type(newType);
   ret.set$name(this.name);
   ret.set$isInitializer(this.isInitializer);
   return ret;
 }
@@ skipping 8549 matching lines @@
 $inheritsMembers(_DoubleLinkedQueueEntrySentinel_KeyValuePair_K$V, DoubleLinkedQueueEntry_KeyValuePair_K$V);
 //  ********** Globals **************
 function $static_init(){
 }
 var const$0 = new NoMoreElementsException()/*const NoMoreElementsException()*/;
 var const$2 = new EmptyQueueException()/*const EmptyQueueException()*/;
 var const$3 = new _DeletedKeySentinel()/*const _DeletedKeySentinel()*/;
 var $globals = {};
 $static_init();
 main();