Missing static type anlalysis for some cases

[DartBot]

This issue was originally filed by zundel@google.com

---

If you know the Area- label, please set it and change status to Triaged.*

$ cat ./tests/language/src/AssignStaticTypeTest.dart
// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// This test insures that each type of variable gets proper static type checking

int a = "String"; /// 01: static type error

class A {
  static final int c = "String"; /// 02: static type error
  final int d = "String"; /// 03: static type error
  int e = "String"; /// 04: static type error
   A() {
     int f = "String"; /// 05: static type error
   }
  method([
     int /// 06: static type error
     g = "String"]) {
    return g;
  }
}

int main() {
  var w = a; /// 01: continued
  var x;
  x = A.c; /// 02: continued
  var v = new A();
  x = v.d; /// 03: continued
  x = v.e; /// 04: continued
      x = v.method(1); /// 06: continued
}

cases 1,2,3,4 do not report any static type errors, but the type of the constant "String" is known at compile time.

[DartBot]

This comment was originally written by zundel@google.com

---

Issue #2224 has been merged into this issue.

[DartBot]

This comment was originally written by zundel@google.com

---

https://chromiumcodereview.appspot.com/9728006

---

Set owner to zundel@google.com.
Added Started label.

[DartBot]

This comment was originally written by zundel@google.com

---

r5654

---

Added Fixed label.