| Index: test/cctest/test-types.cc
|
| diff --git a/test/cctest/test-types.cc b/test/cctest/test-types.cc
|
| index 78abeba0ab450a9763e64467b67f4d2742873e1a..b5f65954fa5c98e47877095a23c45dc4a4755efc 100644
|
| --- a/test/cctest/test-types.cc
|
| +++ b/test/cctest/test-types.cc
|
| @@ -62,6 +62,7 @@ static void CheckEqual(Handle<Type> type1, Handle<Type> type2) {
|
| 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 CheckSub(Handle<Type> type1, Handle<Type> type2) {
|
| }
|
| }
|
|
|
| +
|
| static void CheckUnordered(Handle<Type> type1, Handle<Type> type2) {
|
| CHECK(!type1->Is(type2));
|
| CHECK(!type2->Is(type1));
|
| @@ -78,6 +80,7 @@ static void CheckUnordered(Handle<Type> type1, Handle<Type> type2) {
|
| }
|
| }
|
|
|
| +
|
| static void CheckOverlap(Handle<Type> type1, Handle<Type> type2) {
|
| CHECK(type1->Maybe(type2));
|
| CHECK(type2->Maybe(type1));
|
| @@ -86,6 +89,7 @@ static void CheckOverlap(Handle<Type> type1, Handle<Type> type2) {
|
| }
|
| }
|
|
|
| +
|
| static void CheckDisjoint(Handle<Type> type1, Handle<Type> type2) {
|
| CHECK(!type1->Is(type2));
|
| CHECK(!type2->Is(type1));
|
|
|