Symbol: check_bad_casts_in_constructor