Lines Matching refs:IsInhabited
45 using Type::BitsetType::IsInhabited;
72 using HeapType::BitsetType::IsInhabited;
473 (Rep::BitsetType::IsInhabited(bits) ? bits : 0) ==
1252 CHECK(type->Maybe(T.Any) == type->IsInhabited());
1264 CHECK(type->Maybe(type) == type->IsInhabited());
1282 (type1->IsInhabited() && type2->IsInhabited()));
1292 CHECK(!type1->Maybe(type2) || intersect12->IsInhabited());
1301 CHECK(!(type1->Is(type2) && type1->IsInhabited()) ||
1800 ->IsInhabited());
1803 CHECK(T.Intersect(T.ObjectConstant1, T.ObjectClass)->IsInhabited()); // !!!
1804 CHECK(!T.Intersect(T.ArrayClass, T.ObjectConstant2)->IsInhabited());
1815 ->IsInhabited());
1826 ->IsInhabited());
1837 ->IsInhabited()); // !!!
1850 ->IsInhabited()); // !!!
