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.