| OLD | NEW | 
|---|
| (Empty) |  | 
|  | 1 // Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file | 
|  | 2 // for details. All rights reserved. Use of this source code is governed by a | 
|  | 3 // BSD-style license that can be found in the LICENSE file. | 
|  | 4 | 
|  | 5 /*@testedFeatures=inference*/ | 
|  | 6 library test; | 
|  | 7 | 
|  | 8 class A { | 
|  | 9   int f; | 
|  | 10 } | 
|  | 11 | 
|  | 12 var /*@topType=int*/ v_assign = (new A(). /*@target=A::f*/ f = 1); | 
|  | 13 var /*@topType=int*/ v_plus = (new A(). /*@target=A::f*/ f += 1); | 
|  | 14 var /*@topType=int*/ v_minus = (new A(). /*@target=A::f*/ f -= 1); | 
|  | 15 var /*@topType=int*/ v_multiply = (new A(). /*@target=A::f*/ f *= 1); | 
|  | 16 var /*@topType=int*/ v_prefix_pp = (++new A(). /*@target=A::f*/ f); | 
|  | 17 var /*@topType=int*/ v_prefix_mm = (--new A(). /*@target=A::f*/ f); | 
|  | 18 var /*@topType=int*/ v_postfix_pp = (new A(). /*@target=A::f*/ f++); | 
|  | 19 var /*@topType=int*/ v_postfix_mm = (new A(). /*@target=A::f*/ f--); | 
|  | 20 | 
|  | 21 main() {} | 
| OLD | NEW | 
|---|