Rewire DDC to use the analyzer task model

test/codegen/expect/expect.txt

Index: test/codegen/expect/expect.txt
diff --git a/test/codegen/expect/expect.txt b/test/codegen/expect/expect.txt
index 61d81ee10dba79d75d151e6e0480963353cc7d6a..524053621f723fc950eaad9becbc1dcb829e454d 100644
--- a/test/codegen/expect/expect.txt
+++ b/test/codegen/expect/expect.txt
@@ -1,4 +1,146 @@
 // Messages from compiling expect.dart
-info: [DynamicCast] expected (dynamic) will need runtime check to cast to type String (test/codegen/expect.dart, line 97, col 51)
-info: [DynamicCast] actual (dynamic) will need runtime check to cast to type String (test/codegen/expect.dart, line 97, col 61)
+warning: [MissingTypeError] type analysis didn't compute the type of: write SimpleIdentifier (test/codegen/expect.dart, line 45, col 24)
+warning: [MissingTypeError] type analysis didn't compute the type of: codeUnitAt SimpleIdentifier (test/codegen/expect.dart, line 47, col 25)
+warning: [MissingTypeError] type analysis didn't compute the type of: write SimpleIdentifier (test/codegen/expect.dart, line 49, col 13)
+warning: [MissingTypeError] type analysis didn't compute the type of: write SimpleIdentifier (test/codegen/expect.dart, line 50, col 13)
+warning: [MissingTypeError] type analysis didn't compute the type of: write SimpleIdentifier (test/codegen/expect.dart, line 51, col 13)
+warning: [MissingTypeError] type analysis didn't compute the type of: writeCharCode SimpleIdentifier (test/codegen/expect.dart, line 53, col 13)
+warning: [MissingTypeError] type analysis didn't compute the type of: codeUnitAt SimpleIdentifier (test/codegen/expect.dart, line 53, col 34)
+warning: [MissingTypeError] type analysis didn't compute the type of: write SimpleIdentifier (test/codegen/expect.dart, line 56, col 34)
+warning: [MissingTypeError] type analysis didn't compute the type of: toString SimpleIdentifier (test/codegen/expect.dart, line 57, col 16)
+warning: [MissingTypeError] type analysis didn't compute the type of: codeUnitAt SimpleIdentifier (test/codegen/expect.dart, line 73, col 20)
+warning: [MissingTypeError] type analysis didn't compute the type of: codeUnitAt SimpleIdentifier (test/codegen/expect.dart, line 73, col 44)
+warning: [MissingTypeError] type analysis didn't compute the type of: codeUnitAt SimpleIdentifier (test/codegen/expect.dart, line 77, col 24)
+warning: [MissingTypeError] type analysis didn't compute the type of: codeUnitAt SimpleIdentifier (test/codegen/expect.dart, line 77, col 48)
+warning: [MissingTypeError] type analysis didn't compute the type of: _truncateString SimpleIdentifier (test/codegen/expect.dart, line 81, col 29)
+warning: [MissingTypeError] type analysis didn't compute the type of: _truncateString SimpleIdentifier (test/codegen/expect.dart, line 82, col 27)
+warning: [MissingTypeError] type analysis didn't compute the type of: _getMessage SimpleIdentifier (test/codegen/expect.dart, line 95, col 18)
+warning: [MissingTypeError] type analysis didn't compute the type of: _stringDifference SimpleIdentifier (test/codegen/expect.dart, line 97, col 33)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 99, col 9)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 102, col 5)
+warning: [MissingTypeError] type analysis didn't compute the type of: _identical SimpleIdentifier (test/codegen/expect.dart, line 109, col 9)
+warning: [MissingTypeError] type analysis didn't compute the type of: _getMessage SimpleIdentifier (test/codegen/expect.dart, line 110, col 18)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 111, col 5)
+warning: [MissingTypeError] type analysis didn't compute the type of: _identical SimpleIdentifier (test/codegen/expect.dart, line 118, col 9)
+warning: [MissingTypeError] type analysis didn't compute the type of: _getMessage SimpleIdentifier (test/codegen/expect.dart, line 119, col 18)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 120, col 5)
+warning: [MissingTypeError] type analysis didn't compute the type of: _getMessage SimpleIdentifier (test/codegen/expect.dart, line 128, col 18)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 129, col 5)
+warning: [MissingTypeError] type analysis didn't compute the type of: _getMessage SimpleIdentifier (test/codegen/expect.dart, line 137, col 18)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 138, col 5)
+warning: [MissingTypeError] type analysis didn't compute the type of: _identical SimpleIdentifier (test/codegen/expect.dart, line 146, col 9)
+warning: [MissingTypeError] type analysis didn't compute the type of: _getMessage SimpleIdentifier (test/codegen/expect.dart, line 147, col 18)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 148, col 5)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 154, col 5)
+warning: [MissingTypeError] type analysis didn't compute the type of: abs SimpleIdentifier (test/codegen/expect.dart, line 167, col 36)
+warning: [MissingTypeError] type analysis didn't compute the type of: abs SimpleIdentifier (test/codegen/expect.dart, line 170, col 29)
+warning: [MissingTypeError] type analysis didn't compute the type of: _getMessage SimpleIdentifier (test/codegen/expect.dart, line 172, col 18)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 173, col 5)
+warning: [MissingTypeError] type analysis didn't compute the type of: _getMessage SimpleIdentifier (test/codegen/expect.dart, line 179, col 18)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 180, col 5)
+warning: [MissingTypeError] type analysis didn't compute the type of: _getMessage SimpleIdentifier (test/codegen/expect.dart, line 191, col 18)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 195, col 9)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 202, col 7)
+warning: [MissingTypeError] type analysis didn't compute the type of: _getMessage SimpleIdentifier (test/codegen/expect.dart, line 215, col 18)
+warning: [MissingTypeError] type analysis didn't compute the type of: containsKey SimpleIdentifier (test/codegen/expect.dart, line 219, col 19)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 220, col 9)
+warning: [MissingTypeError] type analysis didn't compute the type of: equals SimpleIdentifier (test/codegen/expect.dart, line 223, col 14)
+warning: [MissingTypeError] type analysis didn't compute the type of: containsKey SimpleIdentifier (test/codegen/expect.dart, line 228, col 21)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 229, col 9)
+warning: [MissingTypeError] type analysis didn't compute the type of: _getMessage SimpleIdentifier (test/codegen/expect.dart, line 243, col 18)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 248, col 7)
+warning: [MissingTypeError] type analysis didn't compute the type of: substring SimpleIdentifier (test/codegen/expect.dart, line 285, col 35)
+warning: [MissingTypeError] type analysis didn't compute the type of: substring SimpleIdentifier (test/codegen/expect.dart, line 288, col 18)
+warning: [MissingTypeError] type analysis didn't compute the type of: substring SimpleIdentifier (test/codegen/expect.dart, line 291, col 32)
+warning: [MissingTypeError] type analysis didn't compute the type of: substring SimpleIdentifier (test/codegen/expect.dart, line 292, col 30)
+warning: [MissingTypeError] type analysis didn't compute the type of: substring SimpleIdentifier (test/codegen/expect.dart, line 296, col 27)
+warning: [MissingTypeError] type analysis didn't compute the type of: substring SimpleIdentifier (test/codegen/expect.dart, line 297, col 27)
+warning: [MissingTypeError] type analysis didn't compute the type of: substring SimpleIdentifier (test/codegen/expect.dart, line 300, col 27)
+warning: [MissingTypeError] type analysis didn't compute the type of: substring SimpleIdentifier (test/codegen/expect.dart, line 301, col 27)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 312, col 5)
+warning: [MissingTypeError] type analysis didn't compute the type of: removeAll SimpleIdentifier (test/codegen/expect.dart, line 323, col 16)
+warning: [MissingTypeError] type analysis didn't compute the type of: removeAll SimpleIdentifier (test/codegen/expect.dart, line 325, col 14)
+warning: [MissingTypeError] type analysis didn't compute the type of: _getMessage SimpleIdentifier (test/codegen/expect.dart, line 328, col 18)
+warning: [MissingTypeError] type analysis didn't compute the type of: write SimpleIdentifier (test/codegen/expect.dart, line 333, col 10)
+warning: [MissingTypeError] type analysis didn't compute the type of: write SimpleIdentifier (test/codegen/expect.dart, line 337, col 10)
+warning: [MissingTypeError] type analysis didn't compute the type of: write SimpleIdentifier (test/codegen/expect.dart, line 342, col 10)
+warning: [MissingTypeError] type analysis didn't compute the type of: write SimpleIdentifier (test/codegen/expect.dart, line 346, col 10)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 348, col 5)
+warning: [MissingTypeError] type analysis didn't compute the type of: toString SimpleIdentifier (test/codegen/expect.dart, line 348, col 14)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 366, col 7)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 373, col 11)
+warning: [MissingTypeError] type analysis didn't compute the type of: _fail SimpleIdentifier (test/codegen/expect.dart, line 378, col 5)
+warning: [MissingTypeError] type analysis didn't compute the type of: identical SimpleIdentifier (test/codegen/expect.dart, line 389, col 26)
+info: [DynamicInvoke] buf.write("...") requires dynamic invoke (test/codegen/expect.dart, line 45, col 20)
+info: [DynamicInvoke] string.codeUnitAt(i) requires dynamic invoke (test/codegen/expect.dart, line 47, col 18)
+info: [DynamicInvoke] buf.write(r"\x") requires dynamic invoke (test/codegen/expect.dart, line 49, col 9)
+info: [DynamicInvoke] buf.write("0123456789abcdef"[code ~/ 16]) requires dynamic invoke (test/codegen/expect.dart, line 50, col 9)
+info: [DynamicInvoke] buf.write("0123456789abcdef"[code % 16]) requires dynamic invoke (test/codegen/expect.dart, line 51, col 9)
+info: [DynamicInvoke] buf.writeCharCode(string.codeUnitAt(i)) requires dynamic invoke (test/codegen/expect.dart, line 53, col 9)
+info: [DynamicInvoke] string.codeUnitAt(i) requires dynamic invoke (test/codegen/expect.dart, line 53, col 27)
+info: [DynamicInvoke] buf.write("...") requires dynamic invoke (test/codegen/expect.dart, line 56, col 30)
+info: [DynamicInvoke] buf.toString() requires dynamic invoke (test/codegen/expect.dart, line 57, col 12)
+info: [DynamicInvoke] expected.codeUnitAt(i) requires dynamic invoke (test/codegen/expect.dart, line 73, col 11)
+info: [DynamicInvoke] actual.codeUnitAt(i) requires dynamic invoke (test/codegen/expect.dart, line 73, col 37)
+info: [DynamicInvoke] expected.codeUnitAt(i) requires dynamic invoke (test/codegen/expect.dart, line 77, col 15)
+info: [DynamicInvoke] actual.codeUnitAt(i) requires dynamic invoke (test/codegen/expect.dart, line 77, col 41)
+info: [DynamicInvoke] _truncateString(expected, start, end, 20) requires dynamic invoke (test/codegen/expect.dart, line 81, col 29)
+info: [DynamicInvoke] _truncateString(actual, start, end, 20) requires dynamic invoke (test/codegen/expect.dart, line 82, col 27)
+info: [DynamicInvoke] _getMessage(reason) requires dynamic invoke (test/codegen/expect.dart, line 95, col 18)
+info: [DynamicInvoke] _stringDifference(expected, actual) requires dynamic invoke (test/codegen/expect.dart, line 97, col 33)
+info: [DynamicInvoke] _fail("Expect.equals($stringDifference$msg) fails.") requires dynamic invoke (test/codegen/expect.dart, line 99, col 9)
+info: [DynamicInvoke] _fail("Expect.equals(expected: <$expected>, actual: <$actual>$msg) fails.") requires dynamic invoke (test/codegen/expect.dart, line 102, col 5)
+info: [DynamicInvoke] _identical(actual, true) requires dynamic invoke (test/codegen/expect.dart, line 109, col 9)
+info: [DynamicInvoke] _getMessage(reason) requires dynamic invoke (test/codegen/expect.dart, line 110, col 18)
+info: [DynamicInvoke] _fail("Expect.isTrue($actual$msg) fails.") requires dynamic invoke (test/codegen/expect.dart, line 111, col 5)
+info: [DynamicInvoke] _identical(actual, false) requires dynamic invoke (test/codegen/expect.dart, line 118, col 9)
+info: [DynamicInvoke] _getMessage(reason) requires dynamic invoke (test/codegen/expect.dart, line 119, col 18)
+info: [DynamicInvoke] _fail("Expect.isFalse($actual$msg) fails.") requires dynamic invoke (test/codegen/expect.dart, line 120, col 5)
+info: [DynamicInvoke] _getMessage(reason) requires dynamic invoke (test/codegen/expect.dart, line 128, col 18)
+info: [DynamicInvoke] _fail("Expect.isNull(actual: <$actual>$msg) fails.") requires dynamic invoke (test/codegen/expect.dart, line 129, col 5)
+info: [DynamicInvoke] _getMessage(reason) requires dynamic invoke (test/codegen/expect.dart, line 137, col 18)
+info: [DynamicInvoke] _fail("Expect.isNotNull(actual: <$actual>$msg) fails.") requires dynamic invoke (test/codegen/expect.dart, line 138, col 5)
+info: [DynamicInvoke] _identical(expected, actual) requires dynamic invoke (test/codegen/expect.dart, line 146, col 9)
+info: [DynamicInvoke] _getMessage(reason) requires dynamic invoke (test/codegen/expect.dart, line 147, col 18)
+info: [DynamicInvoke] _fail("Expect.identical(expected: <$expected>, actual: <$actual>$msg) " "fails.") requires dynamic invoke (test/codegen/expect.dart, line 148, col 5)
+info: [DynamicInvoke] _fail("Expect.fail('$msg')") requires dynamic invoke (test/codegen/expect.dart, line 154, col 5)
+info: [DynamicInvoke] (expected / 1e4).abs() requires dynamic invoke (test/codegen/expect.dart, line 167, col 19)
+info: [DynamicInvoke] (expected - actual).abs() requires dynamic invoke (test/codegen/expect.dart, line 170, col 9)
+info: [DynamicInvoke] _getMessage(reason) requires dynamic invoke (test/codegen/expect.dart, line 172, col 18)
+info: [DynamicInvoke] _fail('Expect.approxEquals(expected:<$expected>, actual:<$actual>, ' 'tolerance:<$tolerance>$msg) fails') requires dynamic invoke (test/codegen/expect.dart, line 173, col 5)
+info: [DynamicInvoke] _getMessage(reason) requires dynamic invoke (test/codegen/expect.dart, line 179, col 18)
+info: [DynamicInvoke] _fail("Expect.notEquals(unexpected: <$unexpected>, actual:<$actual>$msg) " "fails.") requires dynamic invoke (test/codegen/expect.dart, line 180, col 5)
+info: [DynamicInvoke] _getMessage(reason) requires dynamic invoke (test/codegen/expect.dart, line 191, col 18)
+info: [DynamicInvoke] _fail('Expect.listEquals(at index $i, ' 'expected: <${expected[i]}>, actual: <${actual[i]}>$msg) fails') requires dynamic invoke (test/codegen/expect.dart, line 195, col 9)
+info: [DynamicInvoke] _fail('Expect.listEquals(list length, ' 'expected: <${expected.length}>, actual: <${actual.length}>$msg) ' 'fails: Next element <' '${expected.length > n ? expected[n] : actual[n]}>') requires dynamic invoke (test/codegen/expect.dart, line 202, col 7)
+info: [DynamicInvoke] _getMessage(reason) requires dynamic invoke (test/codegen/expect.dart, line 215, col 18)
+info: [DynamicInvoke] actual.containsKey(key) requires dynamic invoke (test/codegen/expect.dart, line 219, col 12)
+info: [DynamicInvoke] _fail('Expect.mapEquals(missing expected key: <$key>$msg) fails') requires dynamic invoke (test/codegen/expect.dart, line 220, col 9)
+info: [DynamicInvoke] Expect.equals(expected[key], actual[key]) requires dynamic invoke (test/codegen/expect.dart, line 223, col 7)
+info: [DynamicInvoke] expected.containsKey(key) requires dynamic invoke (test/codegen/expect.dart, line 228, col 12)
+info: [DynamicInvoke] _fail('Expect.mapEquals(unexpected key: <$key>$msg) fails') requires dynamic invoke (test/codegen/expect.dart, line 229, col 9)
+info: [DynamicInvoke] _getMessage(reason) requires dynamic invoke (test/codegen/expect.dart, line 243, col 18)
+info: [DynamicInvoke] _fail('$defaultMessage') requires dynamic invoke (test/codegen/expect.dart, line 248, col 7)
+info: [DynamicInvoke] expected.substring(left < 10 ? 0 : left - 10, left) requires dynamic invoke (test/codegen/expect.dart, line 285, col 26)
+info: [DynamicInvoke] expected.substring(eLen - right, eLen - right + rightSnippetLength) requires dynamic invoke (test/codegen/expect.dart, line 288, col 9)
+info: [DynamicInvoke] expected.substring(left, eLen - right) requires dynamic invoke (test/codegen/expect.dart, line 291, col 23)
+info: [DynamicInvoke] actual.substring(left, aLen - right) requires dynamic invoke (test/codegen/expect.dart, line 292, col 23)
+info: [DynamicInvoke] eSnippet.substring(0, 20) requires dynamic invoke (test/codegen/expect.dart, line 296, col 18)
+info: [DynamicInvoke] eSnippet.substring(eSnippet.length - 20) requires dynamic invoke (test/codegen/expect.dart, line 297, col 18)
+info: [DynamicInvoke] aSnippet.substring(0, 20) requires dynamic invoke (test/codegen/expect.dart, line 300, col 18)
+info: [DynamicInvoke] aSnippet.substring(aSnippet.length - 20) requires dynamic invoke (test/codegen/expect.dart, line 301, col 18)
+info: [DynamicInvoke] _fail("$defaultMessage$diff") requires dynamic invoke (test/codegen/expect.dart, line 312, col 5)
+info: [DynamicInvoke] missingSet.removeAll(actual) requires dynamic invoke (test/codegen/expect.dart, line 323, col 5)
+info: [DynamicInvoke] extraSet.removeAll(expected) requires dynamic invoke (test/codegen/expect.dart, line 325, col 5)
+info: [DynamicInvoke] _getMessage(reason) requires dynamic invoke (test/codegen/expect.dart, line 328, col 18)
+info: [DynamicInvoke] sb.write('\nExpected collection does not contain: ') requires dynamic invoke (test/codegen/expect.dart, line 333, col 7)
+info: [DynamicInvoke] sb.write('$val ') requires dynamic invoke (test/codegen/expect.dart, line 337, col 7)
+info: [DynamicInvoke] sb.write('\nExpected collection should not contain: ') requires dynamic invoke (test/codegen/expect.dart, line 342, col 7)
+info: [DynamicInvoke] sb.write('$val ') requires dynamic invoke (test/codegen/expect.dart, line 346, col 7)
+info: [DynamicInvoke] _fail(sb.toString()) requires dynamic invoke (test/codegen/expect.dart, line 348, col 5)
+info: [DynamicInvoke] sb.toString() requires dynamic invoke (test/codegen/expect.dart, line 348, col 11)
+info: [DynamicInvoke] _fail("Expect.throws$msg: Function f not callable with zero arguments") requires dynamic invoke (test/codegen/expect.dart, line 366, col 7)
 info: [DynamicInvoke] check(e) requires dynamic invoke (test/codegen/expect.dart, line 372, col 14)
+info: [DynamicInvoke] _fail("Expect.throws$msg: Unexpected '$e'\n$s") requires dynamic invoke (test/codegen/expect.dart, line 373, col 11)
+info: [DynamicInvoke] _fail('Expect.throws$msg fails: Did not throw') requires dynamic invoke (test/codegen/expect.dart, line 378, col 5)
+info: [DynamicInvoke] identical(a, b) requires dynamic invoke (test/codegen/expect.dart, line 389, col 26)