Index: pkg/front_end/testcases/inference/infer_statics_transitively3.dart |
diff --git a/pkg/front_end/testcases/inference/infer_statics_transitively3.dart b/pkg/front_end/testcases/inference/infer_statics_transitively3.dart |
index 9f1144058d1b5d267d842112bee23acc0d7bbc8a..6bd303beae423a35348fa8cad2b7f3a1bd09c2ff 100644 |
--- a/pkg/front_end/testcases/inference/infer_statics_transitively3.dart |
+++ b/pkg/front_end/testcases/inference/infer_statics_transitively3.dart |
@@ -10,8 +10,8 @@ import 'infer_statics_transitively3_a.dart' as p show a2, A; |
const /*@topType=int*/ t1 = 1; |
const /*@topType=int*/ t2 = t1; |
-const /*@topType=dynamic*/ t3 = a1; |
-const /*@topType=dynamic*/ t4 = p.a2; |
+const /*@topType=int*/ t3 = a1; |
+const /*@topType=int*/ t4 = p.a2; |
const /*@topType=dynamic*/ t5 = A.a3; |
const /*@topType=dynamic*/ t6 = p.A.a3; |
@@ -22,3 +22,5 @@ foo() { |
i = t3; |
i = t4; |
} |
+ |
+main() {} |