Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Closed
jmesserly opened this issue Mar 26, 2014 · 7 comments
Closed
Labels
area-analyzer P2 A bug or feature request we're likely to work on type-enhancement A request for a change that isn't a bug

Comments

@jmesserly
Copy link

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
Copy link
Author

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

@jmesserly
Copy link
Author

sorry s/inference/propagation/ ;-)


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

@bwilkerson
Copy link
Member

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

@bwilkerson
Copy link
Member

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

@kasperl
Copy link

kasperl commented Jul 10, 2014

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

@kasperl
Copy link

kasperl commented Aug 4, 2014

Removed Oldschool-Milestone-Later label.

@kevmoo kevmoo added P2 A bug or feature request we're likely to work on type-enhancement A request for a change that isn't a bug and removed triaged labels Mar 1, 2016
@leafpetersen
Copy link
Member

I think this is fixed in strong mode.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area-analyzer P2 A bug or feature request we're likely to work on type-enhancement A request for a change that isn't a bug
Projects
None yet
Development

No branches or pull requests

5 participants