68   CHECK(t->Is(Type::Number()));  in TEST()
69   CHECK(t->Is(Type::Integral32()));  in TEST()
70   CHECK(t->Is(Type::Signed32()));  in TEST()
71   CHECK(t->Is(Type::Unsigned32()));  in TEST()
72   CHECK(t->Is(Type::SignedSmall()));  in TEST()
73   CHECK(t->Is(Type::UnsignedSmall()));  in TEST()
89   CHECK(t->Is(Type::Number()));  in TEST()
90   CHECK(t->Is(Type::MinusZero()));  in TEST()
91   CHECK(!t->Is(Type::Integral32()));  in TEST()
92   CHECK(!t->Is(Type::Signed32()));  in TEST()
93   CHECK(!t->Is(Type::Unsigned32()));  in TEST()
94   CHECK(!t->Is(Type::SignedSmall()));  in TEST()
95   CHECK(!t->Is(Type::UnsignedSmall()));  in TEST()
122   CHECK(t->Is(Type::Number()));  in TEST()
123   CHECK(t->Is(Type::Integral32()));  in TEST()
124   CHECK(t->Is(Type::Signed32()));  in TEST()
125   CHECK(t->Is(Type::Unsigned32()));  in TEST()
126   CHECK(t->Is(Type::SignedSmall()));  in TEST()
127   CHECK(t->Is(Type::UnsignedSmall()));  in TEST()
147   CHECK(t->Is(Type::Number()));  in TEST()
148   CHECK(t->Is(Type::Integral32()));  in TEST()
149   CHECK(t->Is(Type::Signed32()));  in TEST()
150   CHECK(t->Is(Type::Unsigned32()));  in TEST()
151   CHECK(t->Is(Type::SignedSmall()));  in TEST()
152   CHECK(t->Is(Type::UnsignedSmall()));  in TEST()
172   CHECK(t->Is(Type::Number()));  in TEST()
173   CHECK(t->Is(Type::Integral32()));  in TEST()
174   CHECK(t->Is(Type::Signed32()));  in TEST()
175   CHECK(t->Is(Type::Unsigned32()));  in TEST()
176   CHECK(t->Is(Type::SignedSmall()));  in TEST()
177   CHECK(t->Is(Type::UnsignedSmall()));  in TEST()
277   CHECK(T.upper(T.UndefinedConstant())->Is(Type::Undefined()));  in TEST()
280   CHECK(T.upper(T.TrueConstant())->Is(Type::Boolean()));  in TEST()
281   CHECK(T.upper(T.FalseConstant())->Is(Type::Boolean()));  in TEST()
282   CHECK(T.upper(T.NullConstant())->Is(Type::Null()));  in TEST()
283   CHECK(T.upper(T.ZeroConstant())->Is(Type::Number()));  in TEST()
284   CHECK(T.upper(T.OneConstant())->Is(Type::Number()));  in TEST()
285   CHECK(T.upper(T.NaNConstant())->Is(Type::NaN()));  in TEST()