| Index: test/cctest/test-types.cc
|
| ===================================================================
|
| --- test/cctest/test-types.cc (revision 15486)
|
| +++ test/cctest/test-types.cc (working copy)
|
| @@ -62,6 +62,7 @@
|
| CHECK(type2->Is(type1));
|
| }
|
|
|
| +
|
| static void CheckSub(Handle<Type> type1, Handle<Type> type2) {
|
| CHECK(type1->Is(type2));
|
| CHECK(!type2->Is(type1));
|
| @@ -70,6 +71,7 @@
|
| }
|
| }
|
|
|
| +
|
| static void CheckUnordered(Handle<Type> type1, Handle<Type> type2) {
|
| CHECK(!type1->Is(type2));
|
| CHECK(!type2->Is(type1));
|
| @@ -78,6 +80,7 @@
|
| }
|
| }
|
|
|
| +
|
| static void CheckOverlap(Handle<Type> type1, Handle<Type> type2) {
|
| CHECK(type1->Maybe(type2));
|
| CHECK(type2->Maybe(type1));
|
| @@ -86,6 +89,7 @@
|
| }
|
| }
|
|
|
| +
|
| static void CheckDisjoint(Handle<Type> type1, Handle<Type> type2) {
|
| CHECK(!type1->Is(type2));
|
| CHECK(!type2->Is(type1));
|
|
|