Yet more type system tests

src/types.cc

Index: src/types.cc
diff --git a/src/types.cc b/src/types.cc
index 5a885826cf27fac0a90c85706d9e3af137504124..f631a925ceb89703cd564b8fac7ee854586bfbe0 100644
--- a/src/types.cc
+++ b/src/types.cc
@@ -306,8 +306,8 @@ bool TypeImpl<Config>::SlowIs(TypeImpl* that) {
 
 template<class Config>
 bool TypeImpl<Config>::NowIs(TypeImpl* that) {
+  DisallowHeapAllocation no_allocation;
   if (this->IsConstant()) {
-    DisallowHeapAllocation no_allocation;
     i::Object* object = *this->AsConstant();
     if (object->IsHeapObject()) {
       i::Map* map = i::HeapObject::cast(object)->map();
@@ -373,8 +373,8 @@ bool TypeImpl<Config>::Contains(i::Object* value) {
 
 template<class Config>
 bool TypeImpl<Config>::NowContains(i::Object* value) {
+  DisallowHeapAllocation no_allocation;
   if (value->IsHeapObject()) {
-    DisallowHeapAllocation no_allocation;
     i::Map* map = i::HeapObject::cast(value)->map();
     for (Iterator<i::Map> it = this->Classes(); !it.Done(); it.Advance()) {
       if (*it.Current() == map) return true;