Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(57)

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: pkg/front_end/testcases/inference/infer_assign_to_index_upwards.dart

Issue 2928033005: Add type inference for assignment to local variables. (Closed)
Patch Set: Created 3 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « pkg/front_end/test/fasta/kompile.status ('k') | pkg/front_end/testcases/inference/infer_assign_to_index_upwards.dart.direct.expect » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: pkg/front_end/testcases/inference/infer_assign_to_index_upwards.dart
diff --git a/pkg/front_end/testcases/inference/infer_assign_to_index_upwards.dart b/pkg/front_end/testcases/inference/infer_assign_to_index_upwards.dart
new file mode 100644
index 0000000000000000000000000000000000000000..86d002d37bc1a88dc6a61e54019a5d19026adfc0
--- /dev/null
+++ b/pkg/front_end/testcases/inference/infer_assign_to_index_upwards.dart
@@ -0,0 +1,128 @@
+// Copyright (c) 2017, 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.
+
+/*@testedFeatures=inference*/
+library test;
+
+int getInt() => 0;
+num getNum() => 0;
+double getDouble() => 0.0;
+
+abstract class Test<T, U> {
+ T operator [](String s);
+ void operator []=(String s, U v);
+}
+
+void test1(Test<int, int> t) {
+ var /*@type=int*/ v1 = t /*@target=Test::[]=*/ ['x'] = getInt();
+ var /*@type=num*/ v2 = t /*@target=Test::[]=*/ ['x'] = getNum();
+ var /*@type=int*/ v4 = t /*@target=Test::[]=*/ ['x'] ??= getInt();
+ var /*@type=num*/ v5 = t /*@target=Test::[]=*/ ['x'] ??= getNum();
+ var /*@type=int*/ v7 = t /*@target=Test::[]=*/ ['x'] += getInt();
+ var /*@type=num*/ v8 = t /*@target=Test::[]=*/ ['x'] += getNum();
+ var /*@type=int*/ v10 = ++t /*@target=Test::[]=*/ ['x'];
+ var /*@type=int*/ v11 = t /*@target=Test::[]=*/ ['x']++;
+}
+
+void test2(Test<int, num> t) {
+ var /*@type=int*/ v1 = t /*@target=Test::[]=*/ ['x'] = getInt();
+ var /*@type=num*/ v2 = t /*@target=Test::[]=*/ ['x'] = getNum();
+ var /*@type=double*/ v3 = t /*@target=Test::[]=*/ ['x'] = getDouble();
+ var /*@type=num*/ v4 = t /*@target=Test::[]=*/ ['x'] ??= getInt();
+ var /*@type=num*/ v5 = t /*@target=Test::[]=*/ ['x'] ??= getNum();
+ var /*@type=num*/ v6 = t /*@target=Test::[]=*/ ['x'] ??= getDouble();
+ var /*@type=num*/ v7 = t /*@target=Test::[]=*/ ['x'] += getInt();
+ var /*@type=num*/ v8 = t /*@target=Test::[]=*/ ['x'] += getNum();
+ var /*@type=num*/ v9 = t /*@target=Test::[]=*/ ['x'] += getDouble();
+ var /*@type=num*/ v10 = ++t /*@target=Test::[]=*/ ['x'];
+ var /*@type=num*/ v11 = t /*@target=Test::[]=*/ ['x']++;
+}
+
+void test3(Test<int, double> t) {
+ var /*@type=num*/ v2 = t /*@target=Test::[]=*/ ['x'] = getNum();
+ var /*@type=double*/ v3 = t /*@target=Test::[]=*/ ['x'] = getDouble();
+ var /*@type=num*/ v5 = t /*@target=Test::[]=*/ ['x'] ??= getNum();
+ var /*@type=double*/ v6 = t /*@target=Test::[]=*/ ['x'] ??= getDouble();
+ var /*@type=double*/ v7 = t /*@target=Test::[]=*/ ['x'] += getInt();
+ var /*@type=double*/ v8 = t /*@target=Test::[]=*/ ['x'] += getNum();
+ var /*@type=double*/ v9 = t /*@target=Test::[]=*/ ['x'] += getDouble();
+ var /*@type=double*/ v10 = ++t /*@target=Test::[]=*/ ['x'];
+ var /*@type=double*/ v11 = t /*@target=Test::[]=*/ ['x']++;
+}
+
+void test4(Test<num, int> t) {
+ var /*@type=int*/ v1 = t /*@target=Test::[]=*/ ['x'] = getInt();
+ var /*@type=num*/ v2 = t /*@target=Test::[]=*/ ['x'] = getNum();
+ var /*@type=int*/ v4 = t /*@target=Test::[]=*/ ['x'] ??= getInt();
+ var /*@type=num*/ v5 = t /*@target=Test::[]=*/ ['x'] ??= getNum();
+ var /*@type=int*/ v7 = t /*@target=Test::[]=*/ ['x'] += getInt();
+ var /*@type=num*/ v8 = t /*@target=Test::[]=*/ ['x'] += getNum();
+ var /*@type=int*/ v10 = ++t /*@target=Test::[]=*/ ['x'];
+ var /*@type=int*/ v11 = t /*@target=Test::[]=*/ ['x']++;
+}
+
+void test5(Test<num, num> t) {
+ var /*@type=int*/ v1 = t /*@target=Test::[]=*/ ['x'] = getInt();
+ var /*@type=num*/ v2 = t /*@target=Test::[]=*/ ['x'] = getNum();
+ var /*@type=double*/ v3 = t /*@target=Test::[]=*/ ['x'] = getDouble();
+ var /*@type=num*/ v4 = t /*@target=Test::[]=*/ ['x'] ??= getInt();
+ var /*@type=num*/ v5 = t /*@target=Test::[]=*/ ['x'] ??= getNum();
+ var /*@type=num*/ v6 = t /*@target=Test::[]=*/ ['x'] ??= getDouble();
+ var /*@type=num*/ v7 = t /*@target=Test::[]=*/ ['x'] += getInt();
+ var /*@type=num*/ v8 = t /*@target=Test::[]=*/ ['x'] += getNum();
+ var /*@type=num*/ v9 = t /*@target=Test::[]=*/ ['x'] += getDouble();
+ var /*@type=num*/ v10 = ++t /*@target=Test::[]=*/ ['x'];
+ var /*@type=num*/ v11 = t /*@target=Test::[]=*/ ['x']++;
+}
+
+void test6(Test<num, double> t) {
+ var /*@type=num*/ v2 = t /*@target=Test::[]=*/ ['x'] = getNum();
+ var /*@type=double*/ v3 = t /*@target=Test::[]=*/ ['x'] = getDouble();
+ var /*@type=num*/ v5 = t /*@target=Test::[]=*/ ['x'] ??= getNum();
+ var /*@type=double*/ v6 = t /*@target=Test::[]=*/ ['x'] ??= getDouble();
+ var /*@type=double*/ v7 = t /*@target=Test::[]=*/ ['x'] += getInt();
+ var /*@type=double*/ v8 = t /*@target=Test::[]=*/ ['x'] += getNum();
+ var /*@type=double*/ v9 = t /*@target=Test::[]=*/ ['x'] += getDouble();
+ var /*@type=double*/ v10 = ++t /*@target=Test::[]=*/ ['x'];
+ var /*@type=double*/ v11 = t /*@target=Test::[]=*/ ['x']++;
+}
+
+void test7(Test<double, int> t) {
+ var /*@type=int*/ v1 = t /*@target=Test::[]=*/ ['x'] = getInt();
+ var /*@type=num*/ v2 = t /*@target=Test::[]=*/ ['x'] = getNum();
+ var /*@type=int*/ v4 = t /*@target=Test::[]=*/ ['x'] ??= getInt();
+ var /*@type=num*/ v5 = t /*@target=Test::[]=*/ ['x'] ??= getNum();
+ var /*@type=int*/ v7 = t /*@target=Test::[]=*/ ['x'] += getInt();
+ var /*@type=num*/ v8 = t /*@target=Test::[]=*/ ['x'] += getNum();
+ var /*@type=int*/ v10 = ++t /*@target=Test::[]=*/ ['x'];
+ var /*@type=int*/ v11 = t /*@target=Test::[]=*/ ['x']++;
+}
+
+void test8(Test<double, num> t) {
+ var /*@type=int*/ v1 = t /*@target=Test::[]=*/ ['x'] = getInt();
+ var /*@type=num*/ v2 = t /*@target=Test::[]=*/ ['x'] = getNum();
+ var /*@type=double*/ v3 = t /*@target=Test::[]=*/ ['x'] = getDouble();
+ var /*@type=num*/ v4 = t /*@target=Test::[]=*/ ['x'] ??= getInt();
+ var /*@type=num*/ v5 = t /*@target=Test::[]=*/ ['x'] ??= getNum();
+ var /*@type=num*/ v6 = t /*@target=Test::[]=*/ ['x'] ??= getDouble();
+ var /*@type=num*/ v7 = t /*@target=Test::[]=*/ ['x'] += getInt();
+ var /*@type=num*/ v8 = t /*@target=Test::[]=*/ ['x'] += getNum();
+ var /*@type=num*/ v9 = t /*@target=Test::[]=*/ ['x'] += getDouble();
+ var /*@type=num*/ v10 = ++t /*@target=Test::[]=*/ ['x'];
+ var /*@type=num*/ v11 = t /*@target=Test::[]=*/ ['x']++;
+}
+
+void test9(Test<double, double> t) {
+ var /*@type=num*/ v2 = t /*@target=Test::[]=*/ ['x'] = getNum();
+ var /*@type=double*/ v3 = t /*@target=Test::[]=*/ ['x'] = getDouble();
+ var /*@type=num*/ v5 = t /*@target=Test::[]=*/ ['x'] ??= getNum();
+ var /*@type=double*/ v6 = t /*@target=Test::[]=*/ ['x'] ??= getDouble();
+ var /*@type=double*/ v7 = t /*@target=Test::[]=*/ ['x'] += getInt();
+ var /*@type=double*/ v8 = t /*@target=Test::[]=*/ ['x'] += getNum();
+ var /*@type=double*/ v9 = t /*@target=Test::[]=*/ ['x'] += getDouble();
+ var /*@type=double*/ v10 = ++t /*@target=Test::[]=*/ ['x'];
+ var /*@type=double*/ v11 = t /*@target=Test::[]=*/ ['x']++;
+}
+
+main() {}
« no previous file with comments | « pkg/front_end/test/fasta/kompile.status ('k') | pkg/front_end/testcases/inference/infer_assign_to_index_upwards.dart.direct.expect » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698