forgot a check in test_check_preserve_type()