def test_false_only_of_instance(self) -> None: fo = false_only(self.fx.a) assert_equal(str(fo), "A") assert_false(fo.can_be_true) assert_true(fo.can_be_false) assert_type(Instance, fo) # The original class still can be true assert_true(self.fx.a.can_be_true)
def test_true_only_of_instance(self) -> None: to = true_only(self.fx.a) assert_equal(str(to), "A") assert_true(to.can_be_true) assert_false(to.can_be_false) assert_type(Instance, to) # The original class still can be false assert_true(self.fx.a.can_be_false)
def test_false_only_of_instance(self): fo = false_only(self.fx.a) assert_equal(str(fo), "A") assert_false(fo.can_be_true) assert_true(fo.can_be_false) assert_type(Instance, fo) # The original class still can be true assert_true(self.fx.a.can_be_true)
def test_true_only_of_instance(self): to = true_only(self.fx.a) assert_equal(str(to), "A") assert_true(to.can_be_true) assert_false(to.can_be_false) assert_type(Instance, to) # The original class still can be false assert_true(self.fx.a.can_be_false)
def test_false_only_of_true_type_is_uninhabited(self) -> None: fo = false_only(self.tuple(AnyType(TypeOfAny.special_form))) assert_type(UninhabitedType, fo)
def test_true_only_of_false_type_is_uninhabited(self) -> None: to = true_only(NoneTyp()) assert_type(UninhabitedType, to)
def test_false_only_of_true_type_is_uninhabited(self): fo = false_only(self.tuple(AnyType())) assert_type(UninhabitedType, fo)
def test_true_only_of_false_type_is_uninhabited(self): to = true_only(NoneTyp()) assert_type(UninhabitedType, to)