Test

Remove redundant invariant #7329

Job	Run time
check-deps	10m 53s
fmt-check	25s
clippy-check	6m 10s
quick-tests	6m 39s
smir-check	5s
release-build (ubuntu-latest)	7m 27s
purification-tests	27m 28s
release-build (windows-latest)	14m 19s
release-build (macos-latest)	18m 10s
all-tests (ubuntu-latest)	26m 28s
test-crates (0)	1h 0m 18s
all-tests (windows-latest)	35m 15s
test-on-prusti	0s
test-crates (1)	32m 22s
all-tests (macos-latest)	47m 19s
test-crates (2)	42m 59s
test-crates (3)	42m 3s
can-merge	3s
	6h 18m 23s

Provide feedback