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

Side by Side Diff: pkg/front_end/testcases/inference/infer_assign_to_implicit_this.dart

Issue 2931363003: Add type inference for assignments to properties. (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 unified diff | Download patch
OLDNEW
(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
10 class B extends A {
11 A operator +(C v) => null;
12 B operator -(int i) => null;
13 B operator *(B v) => null;
14 C operator &(A v) => null;
15 }
16
17 class C extends B {}
18
19 T f<T>() => null;
20
21 class Test {
22 B member;
23
24 void test() {
25 /*@target=Test::member*/ member = /*@typeArgs=B*/ f();
26 /*@target=Test::member*/ member ??= /*@typeArgs=B*/ f();
27 /*@target=Test::member*/ member += /*@typeArgs=dynamic*/ f();
28 /*@target=Test::member*/ member *= /*@typeArgs=dynamic*/ f();
29 /*@target=Test::member*/ member &= /*@typeArgs=dynamic*/ f();
30 -- /*@target=Test::member*/ member;
31 /*@target=Test::member*/ member--;
32 var /*@type=B*/ v1 = /*@target=Test::member*/ member = /*@typeArgs=B*/ f();
33 var /*@type=B*/ v2 = /*@target=Test::member*/ member ??= /*@typeArgs=B*/ f() ;
34 var /*@type=A*/ v3 = /*@target=Test::member*/ member += /*@typeArgs=dynamic* / f();
35 var /*@type=B*/ v4 = /*@target=Test::member*/ member *= /*@typeArgs=dynamic* / f();
36 var /*@type=C*/ v5 = /*@target=Test::member*/ member &= /*@typeArgs=dynamic* / f();
37 var /*@type=B*/ v6 = -- /*@target=Test::member*/ member;
38 var /*@type=B*/ v7 = /*@target=Test::member*/ member--;
39 }
40 }
41
42 main() {}
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698