Index: tests/language_strong/assign_static_type_test.dart |
diff --git a/tests/language_strong/assign_static_type_test.dart b/tests/language_strong/assign_static_type_test.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..90b653d0a878c55676a89cb6156fb8e86c335c10 |
--- /dev/null |
+++ b/tests/language_strong/assign_static_type_test.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. |
+ |
+int a = "String"; // //# 01: static type warning, dynamic type error |
+ |
+class A { |
+ static const int c = "String"; //# 02: static type warning, checked mode compile-time error |
+ final int d = "String"; //# 03: static type warning, dynamic type error |
+ int e = "String"; //# 04: static type warning, dynamic type error |
+ A() { |
+ int f = "String"; //# 05: static type warning, dynamic type error |
+ } |
+ method( |
+ [ |
+ int // //# 06: static type warning |
+ 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 |
+} |