Index: pkg/front_end/testcases/inference_new/dependency_only_if_generic_method.dart |
diff --git a/pkg/front_end/testcases/inference_new/dependency_only_if_generic_method.dart b/pkg/front_end/testcases/inference_new/dependency_only_if_generic_method.dart |
index c9b1ad2395cf7db5a7811d982fe0dd08e4f93c69..12456882e32e4a5e397cfcef9bf0fe609c9bf042 100644 |
--- a/pkg/front_end/testcases/inference_new/dependency_only_if_generic_method.dart |
+++ b/pkg/front_end/testcases/inference_new/dependency_only_if_generic_method.dart |
@@ -15,15 +15,15 @@ var /*@topType=A*/ a = new A(); |
// There's a circularity between b and c because a.f is generic, so the type of |
// c is required to infer b, and vice versa. |
-var /*@topType=() -> dynamic*/ b = /*@returnType=() -> dynamic*/ () => |
- a. /*@typeArgs=() -> dynamic*/ /*@target=A::f*/ f(c); |
-var /*@topType=() -> dynamic*/ c = /*@returnType=() -> dynamic*/ () => |
- a. /*@typeArgs=() -> dynamic*/ /*@target=A::f*/ f(b); |
+var /*@topType=dynamic*/ b = /*@returnType=dynamic*/ () => |
+ a. /*@typeArgs=dynamic*/ /*@target=A::f*/ f(c); |
+var /*@topType=dynamic*/ c = /*@returnType=dynamic*/ () => |
+ a. /*@typeArgs=dynamic*/ /*@target=A::f*/ f(b); |
// e's use of a.g breaks the circularity, because a.g is not generic, therefore |
// the type of e does not depend on the type of d. |
-var /*@topType=() -> dynamic*/ d = /*@returnType=() -> int*/ () => |
+var /*@topType=() -> () -> int*/ d = /*@returnType=() -> int*/ () => |
a. /*@typeArgs=() -> int*/ /*@target=A::f*/ f(e); |
var /*@topType=() -> int*/ e = /*@returnType=int*/ () => |
a. /*@target=A::g*/ g(d); |