Test

Improve error message #7209

Job	Run time
clippy-check	5m 19s
check-deps	17m 12s
fmt-check	36s
quick-tests	11m 15s
smir-check	6s
purification-tests	16m 13s
all-tests (ubuntu-latest)	32m 51s
test-crates (0)	1h 31m 50s
all-tests (windows-latest)	27m 21s
release-build (ubuntu-latest)	15m 28s
test-crates (1)	54m 24s
release-build (windows-latest)	20m 16s
all-tests (macos-latest)	38m 31s
test-on-prusti	0s
test-crates (2)	57m 6s
release-build (macos-latest)	18m 5s
test-crates (3)	57m 16s
can-merge	3s
	7h 43m 52s

Provide feedback