final decls not really final

[stevemessick]

This code should lead to three static type warnings but I get none. Assigning to x, y, or wob through a typed reference where the field is declared final should be flagged by the analyzer.

---

class Point {  final x, y;  Point(this.x, this.y); }

interface Wobulator default WobulatorImpl {  Wobulator();  final wob; }

class WobulatorImpl implements Wobulator {  var wob;  WobulatorImpl(); }

void main() {  Point p = new Point(2, 3);  p.x = 42;  p.y = 87;  Wobulator w = new Wobulator();  w.wob = 100; } //////////////////////////////////////////////////////////////////////////////////// Editor Version: 7937

[scheglov]

https://chromiumcodereview.appspot.com/10442018

---

Added Started label.

[scheglov]

https://code.google.com/p/dart/source/detail?r=7972

---

Added Fixed label.