New test exposes some bugs in the static analysis (dartc) engine on assignment problems

tests/language/src/AssignStaticTypeTest.dart

Index: tests/language/src/AssignStaticTypeTest.dart
diff --git a/tests/language/src/AssignStaticTypeTest.dart b/tests/language/src/AssignStaticTypeTest.dart
new file mode 100644
index 0000000000000000000000000000000000000000..34fc3be71fe25e17d02aa531343c2189daa4218b
--- /dev/null
+++ b/tests/language/src/AssignStaticTypeTest.dart
@@ -0,0 +1,33 @@
+// 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 statically initialized variables, fields, and parameters
+// report static type warnings.
+// VMOptions=--no-enable-type-checks

[ngeoffray, 2012/03/09 08:29:58]

How is that supposed to work, when we also have --enable-type-checks in the
command line?

[ahe, 2012/03/09 08:31:18]

I don't think we should have VM-specific options in shared tests.

+
+int a = "String";  /// 01: static type error, dynamic type error
+
+class A {
+  static final int c = "String"; /// 02: static type error, dynamic type error
+  final int d = "String"; /// 03: static type error, dynamic type error
+  int e = "String"; /// 04: static type error, dynamic type error
+   A() {
+     int f = "String"; /// 05: static type error, dynamic 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
+}