| Index: pkg/analyzer/test/src/task/strong/inferred_type_test.dart
|
| diff --git a/pkg/analyzer/test/src/task/strong/inferred_type_test.dart b/pkg/analyzer/test/src/task/strong/inferred_type_test.dart
|
| index 46e7434e1ca442b8853cfb0092776f0c45a3514c..b0717f2ca5cbe92874a49bc7b972fbc908b76d75 100644
|
| --- a/pkg/analyzer/test/src/task/strong/inferred_type_test.dart
|
| +++ b/pkg/analyzer/test/src/task/strong/inferred_type_test.dart
|
| @@ -269,8 +269,8 @@ main() {
|
|
|
| f = /*info:INFERRED_TYPE_CLOSURE*/(x) => 'hello';
|
|
|
| - foo(/*info:INFERRED_TYPE_CLOSURE,info:INFERRED_TYPE_CLOSURE*/(x) { return null; });
|
| - foo(/*info:INFERRED_TYPE_CLOSURE,info:INFERRED_TYPE_CLOSURE*/(x) { throw "not implemented"; });
|
| + foo(/*info:INFERRED_TYPE_CLOSURE*/(x) { return null; });
|
| + foo(/*info:INFERRED_TYPE_CLOSURE*/(x) { throw "not implemented"; });
|
| }
|
| ''');
|
|
|
| @@ -318,7 +318,7 @@ var f = () sync* { yield null; };
|
| main() {
|
| String f() => null;
|
| var g = f;
|
| - g = /*info:INFERRED_TYPE_CLOSURE*/() { return /*warning:RETURN_OF_INVALID_TYPE*/1; };
|
| + g = /*info:INFERRED_TYPE_CLOSURE*/() { return /*severe:RETURN_OF_INVALID_TYPE*/1; };
|
| }
|
| ''');
|
| var f = mainUnit.functions[0].localVariables[0];
|
| @@ -340,7 +340,7 @@ var g = f;
|
| import 'dart:math' show Random;
|
| test2() {
|
| List<num> o;
|
| - var y = o.map(/*info:INFERRED_TYPE_CLOSURE,info:INFERRED_TYPE_CLOSURE*/(x) {
|
| + var y = o.map(/*info:INFERRED_TYPE_CLOSURE, info:INFERRED_TYPE_CLOSURE*/(x) {
|
| if (new Random().nextBool()) {
|
| return x.toInt() + 1;
|
| } else {
|
| @@ -619,11 +619,11 @@ class A {
|
|
|
| test() {
|
| x = "hi";
|
| - y = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + y = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| A.x = "hi";
|
| - A.y = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + A.y = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| new A().x2 = "hi";
|
| - new A().y2 = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + new A().y2 = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| }
|
| ''');
|
| }
|
| @@ -820,29 +820,29 @@ void main () {
|
| {
|
| Function2<int, String> l0 = /*info:INFERRED_TYPE_CLOSURE*/(int x) => null;
|
| Function2<int, String> l1 = (int x) => "hello";
|
| - Function2<int, String> l2 = /*warning:INVALID_ASSIGNMENT*/(String x) => "hello";
|
| - Function2<int, String> l3 = /*warning:INVALID_ASSIGNMENT*/(int x) => 3;
|
| - Function2<int, String> l4 = /*info:INFERRED_TYPE_CLOSURE*/(int x) {return /*warning:RETURN_OF_INVALID_TYPE*/3;};
|
| + Function2<int, String> l2 = /*severe:INVALID_ASSIGNMENT*/(String x) => "hello";
|
| + Function2<int, String> l3 = /*severe:INVALID_ASSIGNMENT*/(int x) => 3;
|
| + Function2<int, String> l4 = /*info:INFERRED_TYPE_CLOSURE*/(int x) {return /*severe:RETURN_OF_INVALID_TYPE*/3;};
|
| }
|
| {
|
| - Function2<int, String> l0 = /*info:INFERRED_TYPE_CLOSURE, info:INFERRED_TYPE_CLOSURE*/(x) => null;
|
| + Function2<int, String> l0 = /*info:INFERRED_TYPE_CLOSURE*/(x) => null;
|
| Function2<int, String> l1 = /*info:INFERRED_TYPE_CLOSURE*/(x) => "hello";
|
| - Function2<int, String> l2 = /*info:INFERRED_TYPE_CLOSURE, warning:INVALID_ASSIGNMENT*/(x) => 3;
|
| - Function2<int, String> l3 = /*info:INFERRED_TYPE_CLOSURE, info:INFERRED_TYPE_CLOSURE*/(x) {return /*warning:RETURN_OF_INVALID_TYPE*/3;};
|
| - Function2<int, String> l4 = /*info:INFERRED_TYPE_CLOSURE, info:INFERRED_TYPE_CLOSURE*/(x) {return /*warning:RETURN_OF_INVALID_TYPE*/x;};
|
| + Function2<int, String> l2 = /*info:INFERRED_TYPE_CLOSURE, severe:INVALID_ASSIGNMENT*/(x) => 3;
|
| + Function2<int, String> l3 = /*info:INFERRED_TYPE_CLOSURE*/(x) {return /*severe:RETURN_OF_INVALID_TYPE*/3;};
|
| + Function2<int, String> l4 = /*info:INFERRED_TYPE_CLOSURE*/(x) {return /*severe:RETURN_OF_INVALID_TYPE*/x;};
|
| }
|
| {
|
| Function2<int, List<String>> l0 = /*info:INFERRED_TYPE_CLOSURE*/(int x) => null;
|
| Function2<int, List<String>> l1 = (int x) => /*info:INFERRED_TYPE_LITERAL*/["hello"];
|
| - Function2<int, List<String>> l2 = /*warning:INVALID_ASSIGNMENT*/(String x) => /*info:INFERRED_TYPE_LITERAL*/["hello"];
|
| + Function2<int, List<String>> l2 = /*severe:INVALID_ASSIGNMENT*/(String x) => /*info:INFERRED_TYPE_LITERAL*/["hello"];
|
| Function2<int, List<String>> l3 = (int x) => /*info:INFERRED_TYPE_LITERAL*/[/*warning:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/3];
|
| Function2<int, List<String>> l4 = /*info:INFERRED_TYPE_CLOSURE*/(int x) {return /*info:INFERRED_TYPE_LITERAL*/[/*warning:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/3];};
|
| }
|
| {
|
| Function2<int, int> l0 = /*info:INFERRED_TYPE_CLOSURE*/(x) => x;
|
| Function2<int, int> l1 = /*info:INFERRED_TYPE_CLOSURE*/(x) => x+1;
|
| - Function2<int, String> l2 = /*info:INFERRED_TYPE_CLOSURE, warning:INVALID_ASSIGNMENT*/(x) => x;
|
| - Function2<int, String> l3 = /*info:INFERRED_TYPE_CLOSURE, info:INFERRED_TYPE_CLOSURE*/(x) => /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/x.substring(3);
|
| + Function2<int, String> l2 = /*info:INFERRED_TYPE_CLOSURE, severe:INVALID_ASSIGNMENT*/(x) => x;
|
| + Function2<int, String> l3 = /*info:INFERRED_TYPE_CLOSURE*/(x) => /*info:DYNAMIC_CAST, info:DYNAMIC_INVOKE*/x.substring(3);
|
| Function2<String, String> l4 = /*info:INFERRED_TYPE_CLOSURE*/(x) => x.substring(3);
|
| }
|
| }
|
| @@ -940,25 +940,25 @@ void main () {
|
| var v = f;
|
| v = /*info:INFERRED_TYPE_CLOSURE*//*<T>*/(int x) => null;
|
| v = /*<T>*/(int x) => "hello";
|
| - v = /*warning:INVALID_ASSIGNMENT*//*<T>*/(String x) => "hello";
|
| - v = /*warning:INVALID_ASSIGNMENT*//*<T>*/(int x) => 3;
|
| - v = /*info:INFERRED_TYPE_CLOSURE*//*<T>*/(int x) {return /*warning:RETURN_OF_INVALID_TYPE*/3;};
|
| + v = /*severe:INVALID_ASSIGNMENT*//*<T>*/(String x) => "hello";
|
| + v = /*severe:INVALID_ASSIGNMENT*//*<T>*/(int x) => 3;
|
| + v = /*info:INFERRED_TYPE_CLOSURE*//*<T>*/(int x) {return /*severe:RETURN_OF_INVALID_TYPE*/3;};
|
| }
|
| {
|
| String f/*<S>*/(int x) => null;
|
| var v = f;
|
| v = /*info:INFERRED_TYPE_CLOSURE, info:INFERRED_TYPE_CLOSURE*//*<T>*/(x) => null;
|
| v = /*info:INFERRED_TYPE_CLOSURE*//*<T>*/(x) => "hello";
|
| - v = /*info:INFERRED_TYPE_CLOSURE, warning:INVALID_ASSIGNMENT*//*<T>*/(x) => 3;
|
| - v = /*info:INFERRED_TYPE_CLOSURE, info:INFERRED_TYPE_CLOSURE*//*<T>*/(x) {return /*warning:RETURN_OF_INVALID_TYPE*/3;};
|
| - v = /*info:INFERRED_TYPE_CLOSURE, info:INFERRED_TYPE_CLOSURE*//*<T>*/(x) {return /*warning:RETURN_OF_INVALID_TYPE*/x;};
|
| + v = /*info:INFERRED_TYPE_CLOSURE, severe:INVALID_ASSIGNMENT*//*<T>*/(x) => 3;
|
| + v = /*info:INFERRED_TYPE_CLOSURE, info:INFERRED_TYPE_CLOSURE*//*<T>*/(x) {return /*severe:RETURN_OF_INVALID_TYPE*/3;};
|
| + v = /*info:INFERRED_TYPE_CLOSURE, info:INFERRED_TYPE_CLOSURE*//*<T>*/(x) {return /*severe:RETURN_OF_INVALID_TYPE*/x;};
|
| }
|
| {
|
| List<String> f/*<S>*/(int x) => null;
|
| var v = f;
|
| v = /*info:INFERRED_TYPE_CLOSURE*//*<T>*/(int x) => null;
|
| v = /*<T>*/(int x) => /*info:INFERRED_TYPE_LITERAL*/["hello"];
|
| - v = /*warning:INVALID_ASSIGNMENT*//*<T>*/(String x) => /*info:INFERRED_TYPE_LITERAL*/["hello"];
|
| + v = /*severe:INVALID_ASSIGNMENT*//*<T>*/(String x) => /*info:INFERRED_TYPE_LITERAL*/["hello"];
|
| v = /*<T>*/(int x) => /*info:INFERRED_TYPE_LITERAL*/[/*warning:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/3];
|
| v = /*info:INFERRED_TYPE_CLOSURE*//*<T>*/(int x) {return /*info:INFERRED_TYPE_LITERAL*/[/*warning:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/3];};
|
| }
|
| @@ -970,7 +970,7 @@ void main () {
|
| x = /*info:INFERRED_TYPE_CLOSURE*//*<T>*/(x) => x;
|
| x = /*info:INFERRED_TYPE_CLOSURE*//*<T>*/(x) => x+1;
|
| var y = int2String;
|
| - y = /*info:INFERRED_TYPE_CLOSURE, warning:INVALID_ASSIGNMENT*//*<T>*/(x) => x;
|
| + y = /*info:INFERRED_TYPE_CLOSURE, severe:INVALID_ASSIGNMENT*//*<T>*/(x) => x;
|
| y = /*info:INFERRED_TYPE_CLOSURE, info:INFERRED_TYPE_CLOSURE*//*<T>*/(x) => /*info:DYNAMIC_INVOKE, info:DYNAMIC_CAST*/x.substring(3);
|
| var z = string2String;
|
| z = /*info:INFERRED_TYPE_CLOSURE*//*<T>*/(x) => x.substring(3);
|
| @@ -1281,15 +1281,15 @@ void main() {
|
| import 'dart:async';
|
| Stream<List<int>> foo() async* {
|
| yield /*info:INFERRED_TYPE_LITERAL*/[];
|
| - yield /*warning:YIELD_OF_INVALID_TYPE*/new Stream();
|
| - yield* /*warning:YIELD_OF_INVALID_TYPE*/[];
|
| + yield /*severe:YIELD_OF_INVALID_TYPE*/new Stream();
|
| + yield* /*severe:YIELD_OF_INVALID_TYPE*/[];
|
| yield* /*info:INFERRED_TYPE_ALLOCATION*/new Stream();
|
| }
|
|
|
| Iterable<Map<int, int>> bar() sync* {
|
| yield /*info:INFERRED_TYPE_LITERAL*/{};
|
| - yield /*warning:YIELD_OF_INVALID_TYPE*/new List();
|
| - yield* /*warning:YIELD_OF_INVALID_TYPE*/{};
|
| + yield /*severe:YIELD_OF_INVALID_TYPE*/new List();
|
| + yield* /*severe:YIELD_OF_INVALID_TYPE*/{};
|
| yield* /*info:INFERRED_TYPE_ALLOCATION*/new List();
|
| }
|
| ''');
|
| @@ -1397,7 +1397,7 @@ class D extends C {
|
| /*severe:INVALID_METHOD_OVERRIDE*/m(x) => x;
|
| }
|
| main() {
|
| - int y = /*info:DYNAMIC_CAST*/new D()./*warning:WRONG_NUMBER_OF_TYPE_ARGUMENTS*/m/*<int>*/(42);
|
| + int y = /*info:DYNAMIC_CAST*/new D()./*severe:WRONG_NUMBER_OF_TYPE_ARGUMENTS*/m/*<int>*/(42);
|
| print(y);
|
| }
|
| ''');
|
| @@ -1605,10 +1605,10 @@ main() {
|
| checkFile('''
|
| import 'dart:_foreign_helper' show JS;
|
| main() {
|
| - String x = /*warning:INVALID_ASSIGNMENT*/JS('int', '42');
|
| + String x = /*severe:INVALID_ASSIGNMENT*/JS('int', '42');
|
| var y = JS('String', '"hello"');
|
| y = "world";
|
| - y = /*warning:INVALID_ASSIGNMENT*/42;
|
| + y = /*severe:INVALID_ASSIGNMENT*/42;
|
| }
|
| ''');
|
| }
|
| @@ -1901,13 +1901,13 @@ foo() {
|
| int i;
|
|
|
| s = /*info:DYNAMIC_CAST*/new B().x;
|
| - s = /*warning:INVALID_ASSIGNMENT*/new B().y;
|
| + s = /*severe:INVALID_ASSIGNMENT*/new B().y;
|
| s = new B().z;
|
| - s = /*warning:INVALID_ASSIGNMENT*/new B().w;
|
| + s = /*severe:INVALID_ASSIGNMENT*/new B().w;
|
|
|
| i = /*info:DYNAMIC_CAST*/new B().x;
|
| i = new B().y;
|
| - i = /*warning:INVALID_ASSIGNMENT*/new B().z;
|
| + i = /*severe:INVALID_ASSIGNMENT*/new B().z;
|
| i = new B().w;
|
| }
|
| ''');
|
| @@ -2078,32 +2078,32 @@ var f = 2 + 3; // binary expressions are OK if the left operand
|
| // conected component.
|
| var g = -3;
|
| var h = new A() + 3;
|
| -var i = /*warning:UNDEFINED_OPERATOR*/- new A();
|
| +var i = /*severe:UNDEFINED_OPERATOR*/- new A();
|
| var j = null as B;
|
|
|
| test1() {
|
| - a = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + a = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| a = new B(3);
|
| - b = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + b = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| b = new B(3);
|
| c1 = [];
|
| - c1 = /*warning:INVALID_ASSIGNMENT*/{};
|
| + c1 = /*severe:INVALID_ASSIGNMENT*/{};
|
| c2 = [];
|
| - c2 = /*warning:INVALID_ASSIGNMENT*/{};
|
| + c2 = /*severe:INVALID_ASSIGNMENT*/{};
|
| d = {};
|
| - d = /*warning:INVALID_ASSIGNMENT*/3;
|
| + d = /*severe:INVALID_ASSIGNMENT*/3;
|
| e = new A();
|
| - e = /*warning:INVALID_ASSIGNMENT*/{};
|
| + e = /*severe:INVALID_ASSIGNMENT*/{};
|
| f = 3;
|
| - f = /*warning:INVALID_ASSIGNMENT*/false;
|
| + f = /*severe:INVALID_ASSIGNMENT*/false;
|
| g = 1;
|
| - g = /*warning:INVALID_ASSIGNMENT*/false;
|
| - h = /*warning:INVALID_ASSIGNMENT*/false;
|
| + g = /*severe:INVALID_ASSIGNMENT*/false;
|
| + h = /*severe:INVALID_ASSIGNMENT*/false;
|
| h = new B('b');
|
| i = false;
|
| j = new B('b');
|
| - j = /*warning:INVALID_ASSIGNMENT*/false;
|
| - j = /*warning:INVALID_ASSIGNMENT*/[];
|
| + j = /*severe:INVALID_ASSIGNMENT*/false;
|
| + j = /*severe:INVALID_ASSIGNMENT*/[];
|
| }
|
| ''');
|
| }
|
| @@ -2136,7 +2136,7 @@ class B implements A {
|
| }
|
|
|
| foo() {
|
| - String y = /*warning:INVALID_ASSIGNMENT*/new B().x;
|
| + String y = /*severe:INVALID_ASSIGNMENT*/new B().x;
|
| int z = new B().x;
|
| }
|
| ''');
|
| @@ -2191,8 +2191,8 @@ import 'a.dart';
|
| var y = x;
|
|
|
| test1() {
|
| - x = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| - y = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + x = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| + y = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| }
|
| ''');
|
| }
|
| @@ -2208,8 +2208,8 @@ import 'a.dart';
|
| class B { static var y = A.x; }
|
|
|
| test1() {
|
| - A.x = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| - B.y = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + A.x = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| + B.y = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| }
|
| ''');
|
| }
|
| @@ -2353,7 +2353,7 @@ class C {
|
| checkFile('''
|
| class Foo {
|
| var x = 1;
|
| - Foo([this.x = /*warning:INVALID_ASSIGNMENT*/"1"]);
|
| + Foo([this.x = /*severe:INVALID_ASSIGNMENT*/"1"]);
|
| }''');
|
| }
|
|
|
| @@ -2798,7 +2798,7 @@ class B extends A {
|
| }
|
|
|
| foo() {
|
| - String y = /*warning:INVALID_ASSIGNMENT*/new B().x;
|
| + String y = /*severe:INVALID_ASSIGNMENT*/new B().x;
|
| int z = new B().x;
|
| }
|
| ''');
|
| @@ -2815,7 +2815,7 @@ class B implements A {
|
| }
|
|
|
| foo() {
|
| - String y = /*warning:INVALID_ASSIGNMENT*/new B().x;
|
| + String y = /*severe:INVALID_ASSIGNMENT*/new B().x;
|
| int z = new B().x;
|
| }
|
| ''');
|
| @@ -2826,7 +2826,7 @@ foo() {
|
| checkFile('''
|
| test1() {
|
| int x = 3;
|
| - x = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + x = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| }
|
| ''');
|
| }
|
| @@ -2835,7 +2835,7 @@ test1() {
|
| checkFile('''
|
| test2() {
|
| var x = 3;
|
| - x = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + x = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| }
|
| ''');
|
| }
|
| @@ -2847,13 +2847,13 @@ class A {
|
|
|
| test1() {
|
| var a = x;
|
| - a = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + a = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| a = 3;
|
| var b = y;
|
| - b = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + b = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| b = 4;
|
| var c = z;
|
| - c = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + c = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| c = 4;
|
| }
|
|
|
| @@ -2869,13 +2869,13 @@ int x = 0;
|
|
|
| test1() {
|
| var a = x;
|
| - a = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + a = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| a = 3;
|
| var b = y;
|
| - b = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + b = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| b = 4;
|
| var c = z;
|
| - c = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + c = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| c = 4;
|
| }
|
|
|
| @@ -2902,7 +2902,7 @@ class A {
|
| }
|
| foo() {
|
| int y = new C().x;
|
| - String z = /*warning:INVALID_ASSIGNMENT*/new C().x;
|
| + String z = /*severe:INVALID_ASSIGNMENT*/new C().x;
|
| }
|
| ''');
|
| }
|
| @@ -2916,11 +2916,11 @@ class A<T> {
|
|
|
| class B implements A<int> {
|
| get x => 3;
|
| - get w => /*warning:RETURN_OF_INVALID_TYPE*/"hello";
|
| + get w => /*severe:RETURN_OF_INVALID_TYPE*/"hello";
|
| }
|
|
|
| foo() {
|
| - String y = /*warning:INVALID_ASSIGNMENT*/new B().x;
|
| + String y = /*severe:INVALID_ASSIGNMENT*/new B().x;
|
| int z = new B().x;
|
| }
|
| ''');
|
| @@ -2938,7 +2938,7 @@ class B<E> extends A<E> {
|
| }
|
|
|
| foo() {
|
| - int y = /*warning:INVALID_ASSIGNMENT*/new B<String>().x;
|
| + int y = /*severe:INVALID_ASSIGNMENT*/new B<String>().x;
|
| String z = new B<String>().x;
|
| }
|
| ''');
|
| @@ -2967,7 +2967,7 @@ class B<E> extends A<E> implements M {
|
| }
|
|
|
| foo () {
|
| - int y = /*warning:INVALID_ASSIGNMENT*/new B().m(null, null);
|
| + int y = /*severe:INVALID_ASSIGNMENT*/new B().m(null, null);
|
| String z = new B().m(null, null);
|
| }
|
| ''');
|
| @@ -3023,7 +3023,7 @@ class B<E> extends A<E> implements M {
|
| }
|
|
|
| foo () {
|
| - int y = /*warning:INVALID_ASSIGNMENT*/new B<String>().m(null, null).value;
|
| + int y = /*severe:INVALID_ASSIGNMENT*/new B<String>().m(null, null).value;
|
| String z = new B<String>().m(null, null).value;
|
| }
|
| ''');
|
| @@ -3038,7 +3038,7 @@ class Foo {
|
| class Bar<T extends Iterable<String>> {
|
| void foo(T t) {
|
| for (var i in t) {
|
| - int x = /*warning:INVALID_ASSIGNMENT*/i;
|
| + int x = /*severe:INVALID_ASSIGNMENT*/i;
|
| }
|
| }
|
| }
|
| @@ -3046,7 +3046,7 @@ class Bar<T extends Iterable<String>> {
|
| class Baz<T, E extends Iterable<T>, S extends E> {
|
| void foo(S t) {
|
| for (var i in t) {
|
| - int x = /*warning:INVALID_ASSIGNMENT*/i;
|
| + int x = /*severe:INVALID_ASSIGNMENT*/i;
|
| T y = i;
|
| }
|
| }
|
| @@ -3055,7 +3055,7 @@ class Baz<T, E extends Iterable<T>, S extends E> {
|
| test() {
|
| var list = <Foo>[];
|
| for (var x in list) {
|
| - String y = /*warning:INVALID_ASSIGNMENT*/x;
|
| + String y = /*severe:INVALID_ASSIGNMENT*/x;
|
| }
|
|
|
| for (dynamic x in list) {
|
| @@ -3064,7 +3064,7 @@ test() {
|
| String y = /*info:DYNAMIC_CAST,info:INVALID_ASSIGNMENT*/x;
|
| }
|
|
|
| - for (String x in /*warning:FOR_IN_OF_INVALID_ELEMENT_TYPE*/list) {
|
| + for (String x in /*severe:FOR_IN_OF_INVALID_ELEMENT_TYPE*/list) {
|
| String y = x;
|
| }
|
|
|
| @@ -3085,7 +3085,7 @@ test() {
|
|
|
| var map = <String, Foo>{};
|
| // Error: map must be an Iterable.
|
| - for (var x in /*warning:FOR_IN_OF_INVALID_TYPE*/map) {
|
| + for (var x in /*severe:FOR_IN_OF_INVALID_TYPE*/map) {
|
| String y = /*info:DYNAMIC_CAST*/x;
|
| }
|
|
|
| @@ -3132,7 +3132,7 @@ class B {
|
| import 'a.dart';
|
| import 'b.dart';
|
| main() {
|
| - new A().x = /*warning:INVALID_ASSIGNMENT*/'foo';
|
| + new A().x = /*severe:INVALID_ASSIGNMENT*/'foo';
|
| new B().x = 'foo';
|
| }
|
| ''');
|
| @@ -3304,7 +3304,7 @@ test1() {
|
| x[3] = 'z';
|
| x[/*warning:ARGUMENT_TYPE_NOT_ASSIGNABLE*/'hi'] = 'w';
|
| x[/*warning:ARGUMENT_TYPE_NOT_ASSIGNABLE*/4.0] = 'u';
|
| - x[3] = /*warning:INVALID_ASSIGNMENT*/42;
|
| + x[3] = /*severe:INVALID_ASSIGNMENT*/42;
|
| Map<num, String> y = x;
|
| }
|
|
|
| @@ -3313,7 +3313,7 @@ test2() {
|
| x[3] = 'z';
|
| x[/*warning:ARGUMENT_TYPE_NOT_ASSIGNABLE*/'hi'] = 'w';
|
| x[4.0] = 'u';
|
| - x[3] = /*warning:INVALID_ASSIGNMENT*/42;
|
| + x[3] = /*severe:INVALID_ASSIGNMENT*/42;
|
| Pattern p = null;
|
| x[2] = p;
|
| Map<int, String> y = /*info:ASSIGNMENT_CAST*/x;
|
| @@ -3328,7 +3328,7 @@ test1() {
|
| x1[3] = 'z';
|
| x1[/*warning:ARGUMENT_TYPE_NOT_ASSIGNABLE*/'hi'] = 'w';
|
| x1[/*warning:ARGUMENT_TYPE_NOT_ASSIGNABLE*/4.0] = 'u';
|
| - x1[3] = /*warning:INVALID_ASSIGNMENT*/42;
|
| + x1[3] = /*severe:INVALID_ASSIGNMENT*/42;
|
| Map<num, String> y = x1;
|
| }
|
|
|
| @@ -3337,7 +3337,7 @@ test2() {
|
| x2[3] = 'z';
|
| x2[/*warning:ARGUMENT_TYPE_NOT_ASSIGNABLE*/'hi'] = 'w';
|
| x2[4.0] = 'u';
|
| - x2[3] = /*warning:INVALID_ASSIGNMENT*/42;
|
| + x2[3] = /*severe:INVALID_ASSIGNMENT*/42;
|
| Pattern p = null;
|
| x2[2] = p;
|
| Map<int, String> y = /*info:ASSIGNMENT_CAST*/x2;
|
| @@ -3443,8 +3443,8 @@ main() {
|
| h = 'hello';
|
| (/*info:DYNAMIC_INVOKE*/h.foo());
|
|
|
| - foo(/*info:INFERRED_TYPE_CLOSURE,info:INFERRED_TYPE_CLOSURE*/(x) => null);
|
| - foo(/*info:INFERRED_TYPE_CLOSURE,info:INFERRED_TYPE_CLOSURE*/(x) => throw "not implemented");
|
| + foo(/*info:INFERRED_TYPE_CLOSURE*/(x) => null);
|
| + foo(/*info:INFERRED_TYPE_CLOSURE*/(x) => throw "not implemented");
|
| }
|
| ''');
|
| }
|
| @@ -3487,10 +3487,10 @@ class A {
|
|
|
| test5() {
|
| var a1 = new A();
|
| - a1.x = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + a1.x = /*severe:INVALID_ASSIGNMENT*/"hi";
|
|
|
| A a2 = new A();
|
| - a2.x = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + a2.x = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| }
|
| ''');
|
| }
|
| @@ -3643,7 +3643,7 @@ class C {
|
| checkFile('''
|
| import 'a.dart';
|
| test() {
|
| - x = /*warning:INVALID_ASSIGNMENT*/"hi";
|
| + x = /*severe:INVALID_ASSIGNMENT*/"hi";
|
| }
|
| ''');
|
| }
|
| @@ -3724,9 +3724,9 @@ class InferredTypeTest extends InferredTypeMixin {
|
| /// * all expected failures are listed in the source code using comments
|
| /// immediately in front of the AST node that should contain the error.
|
| ///
|
| - /// * errors are formatted as a token `level:Type`, where `level` is the
|
| - /// logging level were the error would be reported at, and `Type` is the
|
| - /// concrete subclass of [StaticInfo] that denotes the error.
|
| + /// * errors are formatted as a token `severity:ErrorCode`, where
|
| + /// `severity` is the ErrorSeverity the error would be reported at, and
|
| + /// `ErrorCode` is the error code's name.
|
| ///
|
| /// For example to check that an assignment produces a type error, you can
|
| /// create a file like:
|
|
|