dartc gives compiler error when type argument does not conform to bounds in instance creation

[gbracha]

Note, that test case
 
class A<T extends String> {}
main() {
  var x = new A<List>();
}

produces compile-time error in dartc compiler. It should be a static warning only, per the spec (section 13.8). See issue #987, from which this issue is derived.

[DartBot]

This comment was originally written by zundel@google.com

---

Set owner to zundel@google.com.
Added Accepted label.

[DartBot]

This comment was originally written by zundel@google.com

---

http://codereview.chromium.org/9016053

---

Added Started label.

[DartBot]

This comment was originally written by zundel@google.com

---

While investigating this, I found that there are no run-time checks for bounds in the case of a new invocation. I filed issue #1029, because I'm prioritizing static analysis and don't intend to address it at this time.

[DartBot]

This comment was originally written by zundel@google.com

---

r2920

---

Added Fixed label.