Disqualify built-in trait impl if it seems likely to overlap in an unsound way with a blanket impl

Disqualify built-in trait impl if it seems likely to overlap in an unsound way with a blanket impl #141577