set_type_checking