Test

Fix purification #7254

Job	Run time
fmt-check	38s
clippy-check	5m 38s
check-deps	16m 44s
quick-tests	13m 21s
smir-check	3s
purification-tests	12m 6s
all-tests (ubuntu-latest)	12m 6s
release-build (ubuntu-latest)	11m 36s
all-tests (windows-latest)	11m 52s
test-crates (0)	12m 7s
release-build (windows-latest)	11m 56s
all-tests (macos-latest)	12m 8s
test-on-prusti	0s
test-crates (1)	12m 4s
release-build (macos-latest)	12m 4s
test-crates (2)	12m 7s
test-crates (3)	12m 4s
can-merge	5s
	2h 48m 39s

Provide feedback