diff --git a/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart b/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart index d7b652f5bddf..9abb41590d8d 100644 --- a/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart +++ b/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart @@ -11,7 +11,7 @@ class A { class B { C get c => null; - void set(C value) {} + void set c(C value) {} } class C {} @@ -20,6 +20,6 @@ class D extends C {} var /*@topType=A*/ a = new A(); var /*@topType=C*/ x = a. /*@target=A::b*/ b. /*@target=B::c*/ c; -var /*@topType=dynamic*/ y = a. /*@target=A::b*/ b.c ??= new D(); +var /*@topType=C*/ y = a. /*@target=A::b*/ b. /*@target=B::c*/ c ??= new D(); main() {} diff --git a/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart.direct.expect b/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart.direct.expect index 46600a509a75..183c1485b379 100644 --- a/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart.direct.expect +++ b/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart.direct.expect @@ -14,7 +14,7 @@ class B extends core::Object { ; get c() → self::C return null; - method set(self::C value) → void {} + set c(self::C value) → void {} } class C extends core::Object { constructor •() → void diff --git a/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart.outline.expect b/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart.outline.expect index c7d3c380701d..51ac9ee050dc 100644 --- a/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart.outline.expect +++ b/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart.outline.expect @@ -12,7 +12,7 @@ class B extends core::Object { ; get c() → self::C ; - method set(self::C value) → void + set c(self::C value) → void ; } class C extends core::Object { diff --git a/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart.strong.expect b/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart.strong.expect index b1e108c6020b..1a3ee8a286ab 100644 --- a/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart.strong.expect +++ b/pkg/front_end/testcases/inference_new/infer_instance_accessor_ref.dart.strong.expect @@ -14,7 +14,7 @@ class B extends core::Object { ; get c() → self::C return null; - method set(self::C value) → void {} + set c(self::C value) → void {} } class C extends core::Object { constructor •() → void @@ -28,5 +28,5 @@ class D extends self::C { } static field self::A a = new self::A::•(); static field self::C x = self::a.{self::A::b}.{self::B::c}; -static field dynamic y = let final dynamic #t1 = self::a.{self::A::b} in let final dynamic #t2 = #t1.{self::B::c} in #t2.==(null) ? #t1.c = new self::D::•() : #t2; +static field self::C y = let final dynamic #t1 = self::a.{self::A::b} in let final dynamic #t2 = #t1.{self::B::c} in #t2.{core::Object::==}(null) ? #t1.{self::B::c} = new self::D::•() : #t2; static method main() → dynamic {}