Type inference not handling generic collection

[sethladd]

Sample code:

class Foo {
  String msg;
  Foo(this.msg);
}

main() {
  var foos = <Foo>[];
  foos.add(new Foo('a'));
  var foo = foos[0];
  print(foo.does_not_exist);
}

I would expect a warning on foo.does_not_exist

Current version of editor:

Version 0.1.0.201205301155, Build 8124

[sethladd]

Also tested in Version 0.1.0.201206061627, Build 8370 (does not show expected behavior)

[bwilkerson]

Added this to the Later milestone.

[scheglov]

Set owner to @scheglov.
Added Accepted label.

[scheglov]

Removed Area-Analyzer label.
Added Area-Editor label.

[scheglov]

Works for me.

---

Attachment:
[Screen shot 2012-06-12 at 8.02.58 PM.png](https://storage.googleapis.com/google-code-attachments/dart/issue-3427/comment-5/Screen shot 2012-06-12 at 8.02.58 PM.png) (26.98 KB)

---

Added CannotReproduce label.

[sethladd]

Thanks for testing, glad to see it got fixed in latest round!

[clayberg]

Removed this from the Later milestone.
Added this to the M1 milestone.