[Kernel] Add check in the constant evaluator.

[Kernel] Add check in the constant evaluator.

Currently some tests pass in checked mode but fails in non-checked mode
because we don't check the result of a constant-evaluation that should
be bool in non-checked mode.
This CL changes it so we always check the bool result in the constant-evaluator.

BUG=
R=kustermann@google.com

Committed: https://github.com/dart-lang/sdk/commit/6cb702b723184ef8875871e4c15004d1ea0a8460

[jensj, 2017-06-23 11:14:05]

jensj@google.com changed reviewers:
+ kustermann@google.com

[kustermann, 2017-06-23 14:20:52]

lgtm

[jensj, 2017-06-29 09:18:15]

Description was changed from

==========
[Kernel] Add check in the constant evaluator.

Currently some tests pass in checked mode but fails in non-checked mode
because we don't check the result of a constant-evaluation that should
be bool in non-checked mode.
This CL changes it so we always check the bool result in the constant-evaluator.

BUG=
==========

to

==========
[Kernel] Add check in the constant evaluator.

Currently some tests pass in checked mode but fails in non-checked mode
because we don't check the result of a constant-evaluation that should
be bool in non-checked mode.
This CL changes it so we always check the bool result in the constant-evaluator.

BUG=
R=kustermann@google.com

Committed:
https://github.com/dart-lang/sdk/commit/6cb702b723184ef8875871e4c15004d1ea0a8460
==========

[jensj, 2017-06-29 09:18:17]

Committed patchset #1 (id:1) manually as
6cb702b723184ef8875871e4c15004d1ea0a8460 (presubmit successful).