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

Side by Side Diff: pkg/front_end/testcases/inference/infer_assign_to_property_super.dart.strong.expect

Issue 2953503002: Only set types of conditional expressions in strong mode. (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
1 library test; 1 library test;
2 import self as self; 2 import self as self;
3 import "dart:core" as core; 3 import "dart:core" as core;
4 4
5 class A extends core::Object { 5 class A extends core::Object {
6 constructor •() → void 6 constructor •() → void
7 : super core::Object::•() 7 : super core::Object::•()
8 ; 8 ;
9 } 9 }
10 class B extends self::A { 10 class B extends self::A {
(...skipping 19 matching lines...) Expand all
30 constructor •() → void 30 constructor •() → void
31 : super core::Object::•() 31 : super core::Object::•()
32 ; 32 ;
33 } 33 }
34 class Test extends self::Base { 34 class Test extends self::Base {
35 constructor •() → void 35 constructor •() → void
36 : super self::Base::•() 36 : super self::Base::•()
37 ; 37 ;
38 method test() → void { 38 method test() → void {
39 super.{self::Base::member} = self::f<self::B>(); 39 super.{self::Base::member} = self::f<self::B>();
40 super.{self::Base::member}.{core::Object::==}(null) ?{dynamic} super.{self:: Base::member} = self::f<self::B>() : null; 40 super.{self::Base::member}.{core::Object::==}(null) ? super.{self::Base::mem ber} = self::f<self::B>() : null;
41 super.{self::Base::member} = super.{self::Base::member}.{self::B::+}(self::f <dynamic>()); 41 super.{self::Base::member} = super.{self::Base::member}.{self::B::+}(self::f <dynamic>());
42 super.{self::Base::member} = super.{self::Base::member}.{self::B::*}(self::f <dynamic>()); 42 super.{self::Base::member} = super.{self::Base::member}.{self::B::*}(self::f <dynamic>());
43 super.{self::Base::member} = super.{self::Base::member}.{self::B::&}(self::f <dynamic>()); 43 super.{self::Base::member} = super.{self::Base::member}.{self::B::&}(self::f <dynamic>());
44 super.{self::Base::member} = super.{self::Base::member}.{self::B::-}(1); 44 super.{self::Base::member} = super.{self::Base::member}.{self::B::-}(1);
45 super.{self::Base::member} = super.{self::Base::member}.{self::B::-}(1); 45 super.{self::Base::member} = super.{self::Base::member}.{self::B::-}(1);
46 self::B v1 = super.{self::Base::member} = self::f<self::B>(); 46 self::B v1 = super.{self::Base::member} = self::f<self::B>();
47 self::B v2 = let final dynamic #t1 = super.{self::Base::member} in #t1.{core ::Object::==}(null) ?{dynamic} super.{self::Base::member} = self::f<self::B>() : #t1; 47 self::B v2 = let final dynamic #t1 = super.{self::Base::member} in #t1.{core ::Object::==}(null) ? super.{self::Base::member} = self::f<self::B>() : #t1;
48 self::A v3 = super.{self::Base::member} = super.{self::Base::member}.{self:: B::+}(self::f<dynamic>()); 48 self::A v3 = super.{self::Base::member} = super.{self::Base::member}.{self:: B::+}(self::f<dynamic>());
49 self::B v4 = super.{self::Base::member} = super.{self::Base::member}.{self:: B::*}(self::f<dynamic>()); 49 self::B v4 = super.{self::Base::member} = super.{self::Base::member}.{self:: B::*}(self::f<dynamic>());
50 self::C v5 = super.{self::Base::member} = super.{self::Base::member}.{self:: B::&}(self::f<dynamic>()); 50 self::C v5 = super.{self::Base::member} = super.{self::Base::member}.{self:: B::&}(self::f<dynamic>());
51 self::B v6 = super.{self::Base::member} = super.{self::Base::member}.{self:: B::-}(1); 51 self::B v6 = super.{self::Base::member} = super.{self::Base::member}.{self:: B::-}(1);
52 self::B v7 = let final dynamic #t2 = super.{self::Base::member} in let final dynamic #t3 = super.{self::Base::member} = #t2.{self::B::-}(1) in #t2; 52 self::B v7 = let final dynamic #t2 = super.{self::Base::member} in let final dynamic #t3 = super.{self::Base::member} = #t2.{self::B::-}(1) in #t2;
53 } 53 }
54 } 54 }
55 static method f<T extends core::Object>() → self::f::T 55 static method f<T extends core::Object>() → self::f::T
56 return null; 56 return null;
57 static method main() → dynamic {} 57 static method main() → dynamic {}
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698