[red-knot] Minor: fix `Literal[True] <: int` (#14177) #85

Job	Run time
Determine changes	10s
mkdocs	2m 46s
pre-commit	1m 3s
cargo fmt	17s
python package	1m 37s
cargo test (linux)	5m 1s
cargo clippy	1m 51s
cargo test (wasm)	1m 38s
cargo test (windows)	9m 27s
benchmarks	0s
cargo build (msrv)	3m 43s
cargo build (release)	5m 13s
cargo fuzz	4m 10s
cargo shear	32s
test scripts	1m 11s
formatter instabilities and black similarity	4m 16s
test ruff-lsp	43s
Fuzz the parser	6m 47s
ecosystem	0s
	50m 25s

Provide feedback