analyzer: missing type propagation of method calls on top-level final fields

[jmesserly]

I have code like:

void main(List arguments) {
  var args = _argParser.parse(arguments);
  // ... more code ...
}

final _argParser = new ArgParser()
    // <snip>
    ..addFlag('help', help: 'prints this message');

When hovering over the bottom _argParser, it displays the propagated type as "ArgParser". However, when hovering over the use in main, it doesn't show an inferred type, and the ".parse" doesn't let me "go to declaration" or show a method tooltip. It also means that "var args" doesn't get a propagated type either.

Dart Editor version 1.3.0.dev_06_01 (DEV)
Dart SDK version 1.3.0-dev.6.1

[jmesserly]

Changed the title to: "analyzer: missing type inference of method calls on top-level final fields".

[jmesserly]

sorry s/inference/propagation/ ;-)

---

Changed the title to: "analyzer: missing type propagation of method calls on top-level final fields".

[bwilkerson]

Added this to the 1.4 milestone.
Removed Priority-Unassigned label.
Added Priority-Medium label.

[bwilkerson]

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

[kasperl]

Removed this from the Later milestone.
Added Oldschool-Milestone-Later label.

[kasperl]

Removed Oldschool-Milestone-Later label.

[leafpetersen]

I think this is fixed in strong mode.