void destroy_double_constraint(Constraint *constraint) { (void)unbox_double(constraint->expected_value); destroy_empty_constraint(constraint); }
static void destroy_double_constraint(Constraint *constraint) { unbox_double(constraint->expected); destroy_empty_constraint(constraint); }