Add type check tracing (--trace_type_checks). Inline type checks with class types that have only ...

runtime/vm/object.cc

Index: runtime/vm/object.cc
===================================================================
--- runtime/vm/object.cc	(revision 1367)
+++ runtime/vm/object.cc	(working copy)
@@ -1804,6 +1804,12 @@
 }
 
 
+bool Type::IsListInterface() const {
+  return HasResolvedTypeClass() &&
+      (type_class() == Type::Handle(Type::ListInterface()).type_class());
+}
+
+
 bool Type::IsMoreSpecificThan(const Type& other) const {
   ASSERT(IsFinalized());
   ASSERT(other.IsFinalized());
@@ -1891,6 +1897,11 @@
 }
 
 
+RawType* Type::ListInterface() {
+  return Isolate::Current()->object_store()->list_interface();
+}
+
+
 RawType* Type::NewRawType(const Class& type_class) {
   const TypeArguments& type_arguments =
       TypeArguments::Handle(type_class.type_parameter_extends());