The type-limits warning is actively harmful because it discourages writing safe portable overflow detection logic which happens, on some architectures, to be dead code.