Verify that user classes/interfaces do not extend/implement any of bool, num,

runtime/lib/error.cc

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "lib/error.h"
 
 #include "vm/bootstrap_natives.h"
 #include "vm/exceptions.h"
 #include "vm/object_store.h"
 #include "vm/runtime_entry.h"
@@ skipping 198 matching lines @@
     } else {
       dst_type_name = dst_type.Name();
     }
     ThrowTypeError(location, src_type_name, dst_type_name, dst_name);
     UNREACHABLE();
   }
   arguments.SetReturn(src_instance);
 }
 
 
-// Check that the type of the given object is allowed in conditional context.
+// Report that the type of the given object is not bool in conditional context.
 // Arg0: index of the token of the assignment (source location).
-// Arg1: object being checked.
-// Return value: checked value, otherwise allocate and throw a TypeError.
-DEFINE_RUNTIME_ENTRY(ConditionTypeCheck, 2) {
+// Arg1: bad object.
+// Return value: none, throws a TypeError.
+DEFINE_RUNTIME_ENTRY(ConditionTypeError, 2) {
   ASSERT(arguments.Count() ==
-      kConditionTypeCheckRuntimeEntry.argument_count());
+      kConditionTypeErrorRuntimeEntry.argument_count());
   intptr_t location = Smi::CheckedHandle(arguments.At(0)).Value();
   const Instance& src_instance = Instance::CheckedHandle(arguments.At(1));
-
+  ASSERT(src_instance.IsNull() || !src_instance.IsBool());
   const char* msg = "boolean expression";
-  if (src_instance.IsNull() || !src_instance.IsBool()) {
-    const Type& bool_interface = Type::Handle(Type::BoolInterface());
-    const Type& src_type = Type::Handle(src_instance.GetType());
-    const String& src_type_name = String::Handle(src_type.Name());
-    const String& bool_type_name = String::Handle(bool_interface.Name());
-    ThrowTypeError(location, src_type_name, bool_type_name,
-                   String::Handle(String::NewSymbol(msg)));
-    UNREACHABLE();
-  }
-
-  arguments.SetReturn(src_instance);
+  const Type& bool_interface = Type::Handle(Type::BoolInterface());
+  const Type& src_type = Type::Handle(src_instance.GetType());
+  const String& src_type_name = String::Handle(src_type.Name());
+  const String& bool_type_name = String::Handle(bool_interface.Name());
+  ThrowTypeError(location, src_type_name, bool_type_name,
+                 String::Handle(String::NewSymbol(msg)));
+  UNREACHABLE();
 }
 
 
 // Check that the type of each element of the given array is assignable to the
 // given type.
 // Arg0: index of the token of the rest argument declaration (source location).
 // Arg1: rest argument array.
 // Arg2: element declaration type.
 // Arg3: type arguments of the instantiator of the element declaration type.
 // Arg4: name of object being assigned to, i.e. name of rest argument.
@@ skipping 31 matching lines @@
         dst_type_name = element_type.Name();
       }
       const String& dst_name = String::Handle(String::New(buf));
       ThrowTypeError(location, src_type_name, dst_type_name, dst_name);
       UNREACHABLE();
     }
   }
 }
 
 }  // namespace dart