Support [AssumeDynamic] and [TrustTypeAnnotations] in the inferrer.

Support [AssumeDynamic] and [TrustTypeAnnotations] in the inferrer.

BUG=
R=floitsch@google.com, johnniwinther@google.com

Committed: https://code.google.com/p/dart/source/detail?r=43550

[herhut, 2015-02-06 10:37:15]

herhut@google.com changed reviewers:
+ johnniwinther@google.com

[Johnni Winther, 2015-02-06 10:49:38]

The CQ bit was checked by johnniwinther@google.com

[Johnni Winther, 2015-02-06 10:49:39]

lgtm

https://codereview.chromium.org/875163004/diff/1/tests/compiler/dart2js/expec...
File tests/compiler/dart2js/expect_annotations_test.dart (right):

https://codereview.chromium.org/875163004/diff/1/tests/compiler/dart2js/expec...
tests/compiler/dart2js/expect_annotations_test.dart:66: print("$parameter
$type");
Move this to the [reason] (third) argument of Expect.equals.

https://codereview.chromium.org/875163004/diff/1/tests/compiler/dart2js/expec...
tests/compiler/dart2js/expect_annotations_test.dart:98: TypeMask stringType =
compiler.typesTask.stringType;
Maybe [jsStringType]

https://codereview.chromium.org/875163004/diff/1/tests/compiler/dart2js/expec...
tests/compiler/dart2js/expect_annotations_test.dart:99: TypeMask
genericStringType = new TypeMask.subtype(compiler.stringClass,
and [coreStringType] ?

[commit-bot: I haz the power, 2015-02-06 10:49:53]

The CQ bit was unchecked by commit-bot@chromium.org

[commit-bot: I haz the power, 2015-02-06 10:49:54]

Commit queue rejected this change because it did not recognize the base URL.
Please commit your change manually.

[floitsch, 2015-02-06 10:54:56]

floitsch@google.com changed reviewers:
+ floitsch@google.com

[floitsch, 2015-02-06 10:54:56]

LGTM.

https://codereview.chromium.org/875163004/diff/1/tests/compiler/dart2js/expec...
File tests/compiler/dart2js/expect_annotations_test.dart (right):

https://codereview.chromium.org/875163004/diff/1/tests/compiler/dart2js/expec...
tests/compiler/dart2js/expect_annotations_test.dart:66: print("$parameter
$type");
debug print.

[herhut, 2015-02-06 11:36:28]

New patchsets have been uploaded after l-g-t-m from
johnniwinther@google.com,floitsch@google.com

[herhut, 2015-02-06 11:37:53]

https://codereview.chromium.org/875163004/diff/1/tests/compiler/dart2js/expec...
File tests/compiler/dart2js/expect_annotations_test.dart (right):

https://codereview.chromium.org/875163004/diff/1/tests/compiler/dart2js/expec...
tests/compiler/dart2js/expect_annotations_test.dart:66: print("$parameter
$type");
On 2015/02/06 10:49:39, Johnni Winther wrote:
> Move this to the [reason] (third) argument of Expect.equals.

Done.

https://codereview.chromium.org/875163004/diff/1/tests/compiler/dart2js/expec...
tests/compiler/dart2js/expect_annotations_test.dart:66: print("$parameter
$type");
On 2015/02/06 10:54:56, floitsch wrote:
> debug print.

Acknowledged.

https://codereview.chromium.org/875163004/diff/1/tests/compiler/dart2js/expec...
tests/compiler/dart2js/expect_annotations_test.dart:98: TypeMask stringType =
compiler.typesTask.stringType;
On 2015/02/06 10:49:39, Johnni Winther wrote:
> Maybe [jsStringType]

Done.

https://codereview.chromium.org/875163004/diff/1/tests/compiler/dart2js/expec...
tests/compiler/dart2js/expect_annotations_test.dart:99: TypeMask
genericStringType = new TypeMask.subtype(compiler.stringClass,
On 2015/02/06 10:49:39, Johnni Winther wrote:
> and [coreStringType] ?

Done.

[herhut, 2015-02-06 11:38:54]

Committed patchset #2 (id:20001) manually as 43550 (presubmit successful).