Index: pkg/analyzer/test/generated/resolver_test.dart |
diff --git a/pkg/analyzer/test/generated/resolver_test.dart b/pkg/analyzer/test/generated/resolver_test.dart |
index d255df836f3616e7a38ddad1f2582ca5f31a949c..f5153cf9dd8518526a436251a3d7f2e570dd0eb4 100644 |
--- a/pkg/analyzer/test/generated/resolver_test.dart |
+++ b/pkg/analyzer/test/generated/resolver_test.dart |
@@ -11881,62 +11881,6 @@ int f() { |
@reflectiveTest |
class StrongModeTypePropagationTest extends ResolverTestCase { |
- void fail_localVariableInference_transitive_field_inferred_lexical() { |
- String code = r''' |
-class A { |
- final x = 3; |
- f() { |
- var v = x; |
- return v; // marker |
- } |
-} |
-main() { |
-} |
-'''; |
- _assertPropagatedAssignedType(code, typeProvider.intType, null); |
- _assertTypeOfMarkedExpression(code, typeProvider.intType, null); |
- } |
- |
- void fail_localVariableInference_transitive_field_inferred_reversed() { |
- String code = r''' |
-class A { |
- f() { |
- var v = x; |
- return v; // marker |
- } |
- final x = 3; |
-} |
-main() { |
-} |
-'''; |
- _assertPropagatedAssignedType(code, typeProvider.intType, null); |
- _assertTypeOfMarkedExpression(code, typeProvider.intType, null); |
- } |
- |
- void fail_localVariableInference_transitive_toplevel_inferred_lexical() { |
- String code = r''' |
-final x = 3; |
-main() { |
- var v = x; |
- return v; // marker |
-} |
-'''; |
- _assertPropagatedAssignedType(code, typeProvider.intType, null); |
- _assertTypeOfMarkedExpression(code, typeProvider.intType, null); |
- } |
- |
- void fail_localVariableInference_transitive_toplevel_inferred_reversed() { |
- String code = r''' |
-main() { |
- var v = x; |
- return v; // marker |
-} |
-final x = 3; |
-'''; |
- _assertPropagatedAssignedType(code, typeProvider.intType, null); |
- _assertTypeOfMarkedExpression(code, typeProvider.intType, null); |
- } |
- |
@override |
void setUp() { |
AnalysisOptionsImpl options = new AnalysisOptionsImpl(); |
@@ -12055,6 +11999,44 @@ main() { |
code, typeProvider.dynamicType, typeProvider.intType); |
} |
+ void test_localVariableInference_transitive_field_inferred_lexical() { |
+ if (!AnalysisEngine.instance.useTaskModel) { |
+ return; |
+ } |
+ String code = r''' |
+class A { |
+ final x = 3; |
+ f() { |
+ var v = x; |
+ return v; // marker |
+ } |
+} |
+main() { |
+} |
+'''; |
+ _assertPropagatedAssignedType(code, typeProvider.intType, null); |
+ _assertTypeOfMarkedExpression(code, typeProvider.intType, null); |
+ } |
+ |
+ void test_localVariableInference_transitive_field_inferred_reversed() { |
+ if (!AnalysisEngine.instance.useTaskModel) { |
+ return; |
+ } |
+ String code = r''' |
+class A { |
+ f() { |
+ var v = x; |
+ return v; // marker |
+ } |
+ final x = 3; |
+} |
+main() { |
+} |
+'''; |
+ _assertPropagatedAssignedType(code, typeProvider.intType, null); |
+ _assertTypeOfMarkedExpression(code, typeProvider.intType, null); |
+ } |
+ |
void test_localVariableInference_transitive_field_lexical() { |
String code = r''' |
class A { |
@@ -12109,6 +12091,36 @@ main() { |
_assertTypeOfMarkedExpression(code, typeProvider.intType, null); |
} |
+ void test_localVariableInference_transitive_toplevel_inferred_lexical() { |
+ if (!AnalysisEngine.instance.useTaskModel) { |
+ return; |
+ } |
+ String code = r''' |
+final x = 3; |
+main() { |
+ var v = x; |
+ return v; // marker |
+} |
+'''; |
+ _assertPropagatedAssignedType(code, typeProvider.intType, null); |
+ _assertTypeOfMarkedExpression(code, typeProvider.intType, null); |
+ } |
+ |
+ void test_localVariableInference_transitive_toplevel_inferred_reversed() { |
+ if (!AnalysisEngine.instance.useTaskModel) { |
+ return; |
+ } |
+ String code = r''' |
+main() { |
+ var v = x; |
+ return v; // marker |
+} |
+final x = 3; |
+'''; |
+ _assertPropagatedAssignedType(code, typeProvider.intType, null); |
+ _assertTypeOfMarkedExpression(code, typeProvider.intType, null); |
+ } |
+ |
void test_localVariableInference_transitive_toplevel_lexical() { |
String code = r''' |
int x = 3; |