Migrate maybe_recover_from_bad_type_plus
diagnostic
#97093
Merged
maybe_recover_from_bad_type_plus
diagnostic
#97093