Test

Test #7365

Job	Run time
fmt-check	20s
clippy-check	3m 50s
check-deps	10m 52s
quick-tests	6m 30s
smir-check	4s
purification-tests	26m 25s
all-tests (ubuntu-latest)	26m 24s
test-crates (0)	59m 52s
all-tests (windows-latest)	33m 16s
release-build (ubuntu-latest)	7m 26s
test-crates (1)	33m 43s
all-tests (macos-latest)	35m 41s
release-build (windows-latest)	12m 39s
test-crates (2)	42m 44s
test-on-prusti	0s
release-build (macos-latest)	9m 55s
test-crates (3)	41m 37s
can-merge	2s
	5h 51m 20s

Provide feedback