Test

Improve error message (#1458) #7215

Job	Run time
clippy-check	5m 17s
fmt-check	28s
check-deps	18m 39s
smir-check	7s
quick-tests	11m 5s
purification-tests	14m 19s
release-build (ubuntu-latest)	12m 5s
release-build (windows-latest)	24m 34s
release-build (macos-latest)	19m 10s
all-tests (ubuntu-latest)	33m 56s
test-crates (0)	1h 17m 8s
test-on-prusti	0s
all-tests (windows-latest)	33m 49s
test-crates (1)	1h 2m 3s
all-tests (macos-latest)	26m 50s
test-crates (2)	1h 13m 1s
test-crates (3)	52m 59s
can-merge	2s
	7h 45m 32s

Provide feedback