Add option to the analyzer (also in Editor) that specifies to assume that the keyword "var" is a type inferred specifier

[DartBot]

This issue was originally filed by andrew.m...@gmail.com

---

Add option to the analyzer (also in Editor) that specifies to assume that the keyword in an type inferred specifier.

Sample code and explanation.

void main() {
  var i = 0;
  i = "";
}

Option turned off (current behavior):
No warrning, because "var" is dynamic type alias.

Option turned on.
Warning: "A value of type 'String' cannot be assigned to a variable of type 'int'".

[bwilkerson]

Added this to the Later milestone.
Removed Type-Defect, Priority-Unassigned labels.
Added Type-Enhancement, Priority-Medium, Area-Analyzer, Analyzer-Hint, Triaged labels.
Changed the title to: "Add option to the analyzer (also in Editor) that specifies to assume that the keyword "var" is a type inferred specifier".

[DartBot]

This comment was originally written by @Andersmholmgren

---

And on final too

[kasperl]

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

[kasperl]

Removed Oldschool-Milestone-Later label.

[srawlins]

This is implemented as a strong mode warning.

$ cat 17945.dart
void main() {
  var i = 0;
  i = "";
}

$ dartanalyzer --strong 17945.dart
Analyzing [17945.dart]...
[error] Type check failed: "" (String) is not of type int (/Users/srawlins/code/17945.dart, line 3, col 7)
[warning] A value of type 'String' cannot be assigned to a variable of type 'int' (/Users/srawlins/code/17945.dart, line 3, col 7)
[hint] The value of the local variable 'i' is not used (/Users/srawlins/code/17945.dart, line 2, col 7)
1 error, 1 warning and 1 hint found.

[bwilkerson]

Hence, the flag is named --strong.