| pkg/front_end/testcases/inference/assign_local.dart:14:32: Context: Write to x@320 |
| var /*@ type=int* */ x1 = (x = 1); |
| ^ |
| pkg/front_end/testcases/inference/assign_local.dart:15:35: Context: Write to x@320 |
| var /*@ type=double* */ x2 = (x = 1.0); |
| ^ |
| pkg/front_end/testcases/inference/assign_local.dart:18:36: Context: Write to y@412 |
| var /*@ type=A<int*>* */ y1 = (y = new /*@ typeArgs=int* */ A()); |
| ^ |
| pkg/front_end/testcases/inference/assign_local.dart:19:36: Context: Write to y@412 |
| var /*@ type=B<int*>* */ y2 = (y = new /*@ typeArgs=int* */ B()); |
| ^ |