Support mixed-size comparisons for Integer types #3178

Job	Run time
test-careful	2m 28s
build-benchmarks	2m 39s
test-cross (powerpc-unknown-linux-gnu)	6m 11s
test-cross (armv7-unknown-linux-gnueabi)	6m 41s
test-miri (x86_64-unknown-linux-gnu)	5m 0s
coverage	1m 40s
build-no-std	50s
doc	17s
clippy	32s
minimal-versions	2m 53s
rustfmt	7s
test-miri (s390x-unknown-linux-gnu)	5m 1s
test-wasm	2m 14s
typos	5s
test (x86_64-unknown-linux-gnu, 1.85.0, --release)	2m 24s
test (aarch64-unknown-linux-gnu, 1.85.0, ubuntu-24.04-arm, --release)	2m 27s
test (x86_64-unknown-linux-gnu, 1.85.0)	2m 56s
test (i686-unknown-linux-gnu, 1.85.0, sudo apt update && sudo apt install gcc-multilib)	3m 29s
test (aarch64-apple-darwin, 1.85.0, macos-latest)	3m 26s
test (aarch64-apple-darwin, stable, macos-latest, --release)	3m 28s
test (i686-unknown-linux-gnu, stable, sudo apt update && sudo apt install gcc-multilib)	3m 21s
test (aarch64-apple-darwin, stable, macos-latest)	2m 32s
test (x86_64-unknown-linux-gnu, stable)	2m 51s
test (aarch64-apple-darwin, 1.85.0, macos-latest, --release)	3m 47s
test (i686-unknown-linux-gnu, stable, --release, sudo apt update && sudo apt install gcc-multilib)	2m 50s
test (i686-unknown-linux-gnu, 1.85.0, --release, sudo apt update && sudo apt install gcc-multilib)	2m 57s
test (aarch64-unknown-linux-gnu, stable, ubuntu-24.04-arm)	2m 18s
test (x86_64-unknown-linux-gnu, stable, --release)	2m 15s
test (aarch64-unknown-linux-gnu, 1.85.0, ubuntu-24.04-arm)	2m 55s
test (aarch64-unknown-linux-gnu, stable, ubuntu-24.04-arm, --release)	1m 45s
	1h 22m 19s

Provide feedback