| 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;
|
|
|