Fix issue #1505 #7379

Job	Run time
smir-check	6s
clippy-check	5m 15s
check-deps	12m 2s
fmt-check	24s
quick-tests	7m 39s
purification-tests	24m 3s
release-build (ubuntu-latest)	7m 23s
release-build (windows-latest)	12m 56s
release-build (macos-latest)	22m 6s
test-crates (0)	37m 3s
all-tests (ubuntu-latest)	17m 2s
test-on-prusti	0s
test-crates (1)	32m 37s
test-crates (2)	37m 7s
all-tests (windows-latest)	30m 33s
test-crates (3)	36m 41s
all-tests (macos-latest)	49m 34s
can-merge	4s
	5h 32m 35s

Provide feedback