Implement correct parametrized types for factories

[ghost]

This test crashes in debug mode:
./vm/ast.h:1689: error: expected: type_arguments_.IsNull() || (type_arguments_.Length() == Class::Handle(constructor_.owner()).NumTypeArguments())

Once the crash is analyzed and eliminated, feel free to lower this issues's priority.

---

FactoryNegativeTest.dart:

main() {
  // Compile time error, wrong factory method.
  var a = new Link<int>.create();
}

interface Link<T> factory LinkFactory {
  Link.create();
}

class LinkFactory {
  // Compile time error: should be Link<T>.create().
  factory Link.create() {
    return null;
  }
}

[ghost]

The crash has been eliminated, an error is reported.

---

Removed Priority-Critical label.
Added Priority-High label.

[crelier]

Proper factory syntax was implemented by the VM in r1595.
dartc and frog have to implement it too, so that all libraries can be fixed.
Reassigning to dartc area.

---

Removed the owner.
Removed Area-VM label.
Added Area-Compiler label.

[DartBot]

This comment was originally written by [email protected]

---

Eric, could you take a look at this issue? We should definitely support parsing and static type checking. I'll leave it up to you to make a recommendation on code generation support for this.

---

Set owner to [email protected].
Added Accepted label.

[DartBot]

This comment was originally written by [email protected]

---

Also, I believe that it is section 8.3 of v0.5 of the spec that covers this. Ivan mentioned that the map.dart, hash_map_set.dart have commented out code that demonstrate the syntax. You will see comments marked with issue #417.

[DartBot]

This comment was originally written by [email protected]

---

as of r2004, the parser will start accepting the new syntax for factory methods, (but nothing will be done with the types).

[crelier]

The revised factory syntax is supported in the VM in r2394.
The old factory syntax is still supported, but warnings are issued.

[DartBot]

This comment was originally written by [email protected]

---

dartc updated as of r2629.

---

Added Fixed label.