[red-knot] Should A ∧ !A always be false? #39723

Job	Run time
Determine changes	12s
cargo fmt	20s
mkdocs	2m 23s
cargo build (release)	0s
pre-commit	3m 14s
python package	1m 29s
cargo clippy	1m 49s
cargo build (msrv)	3m 40s
cargo fuzz build	4m 9s
benchmarks	4m 56s
cargo test (linux)	1m 3s
cargo test (linux, release)	3m 26s
cargo test (wasm)	1m 35s
cargo shear	22s
cargo test (windows)	4m 25s
formatter instabilities and black similarity	0s
test scripts	1m 1s
ecosystem	0s
fuzz parser	0s
test ruff-lsp	0s
	34m 4s

Provide feedback