Test

Fix issue #1505 (#1511) #7385

Job	Run time
check-deps	11m 32s
clippy-check	5m 33s
fmt-check	23s
quick-tests	7m 40s
smir-check	4s
purification-tests	39m 7s
all-tests (ubuntu-latest)	1h 9m 43s
release-build (ubuntu-latest)	7m 39s
all-tests (windows-latest)	1h 41m 22s
test-crates (0)	59m 12s
release-build (windows-latest)	12m 51s
test-crates (1)	33m 27s
all-tests (macos-latest)	1h 55m 45s
test-on-prusti	0s
release-build (macos-latest)	12m 10s
test-crates (2)	44m 28s
test-crates (3)	41m 48s
can-merge	4s
	9h 22m 48s

Provide feedback