test_variable_type_safety_errors