Type inferencing / static analysis not working quite right in Dart Editor

[DartBot]

This issue was originally filed by [email protected]

---

Dart Editor
Version 0.1.0.201208131139, Build 10597
Dart SDK version 10595

Given the following code:

    #import('dart:html');
                        
    class Ninja {
      void attack() {
        showMessage("My sword is deadly!");
      }
    }
                                                  
    void main() {
      var ninja = new Ninja();
      ninja.attackThem();
    }

    void showMessage(String message) {
      var div = query('#text');
      div.text = "${div.text} $message";
    }

I would expect Dart editor to infer that ninja is of type Ninja. It should then recognize that ninja.attackThem refers to a non-existant method, and it should complain. It doesn't.

[clayberg]

Added this to the Later milestone.
Removed Type-Defect label.
Added Type-Enhancement label.

[DartBot]

This comment was originally written by [email protected]

---

This has been fixed in the latest release of the editor:

Version 0.1.0.201208201135, build 10994
Dart SDK version 10991

---

Added Verified label.

[clayberg]

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

[clayberg]

Added Fixed label.