[Kernel] Add check in the constant evaluator.

runtime/vm/kernel_binary_flowgraph.h

Index: runtime/vm/kernel_binary_flowgraph.h
diff --git a/runtime/vm/kernel_binary_flowgraph.h b/runtime/vm/kernel_binary_flowgraph.h
index ade6b6aee06209223111d9833f5cd7ea31fc18e0..d52815abb5196cabdf5502f8592318b764e837b4 100644
--- a/runtime/vm/kernel_binary_flowgraph.h
+++ b/runtime/vm/kernel_binary_flowgraph.h
@@ -276,8 +276,8 @@ class StreamingConstantEvaluator {
   const TypeArguments* TranslateTypeArguments(const Function& target,
                                               dart::Class* target_klass);
 
-  void AssertBoolInCheckedMode() {
-    if (isolate_->type_checks() && !result_.IsBool()) {
+  void AssertBool() {
+    if (!result_.IsBool()) {
       translation_helper_.ReportError("Expected boolean expression.");
     }
   }