Prusti 2.0: Free PCS #7278

Job	Run time
clippy-check	3m 28s
check-deps	14m 52s
fmt-check	20s
quick-tests	6m 31s
smir-check	7s
all-tests (ubuntu-latest)	47m 49s
all-tests (windows-latest)	19m 29s
purification-tests	8m 42s
test-crates (0)	1h 0m 32s
all-tests (macos-latest)	47m 2s
release-build (ubuntu-latest)	7m 8s
test-crates (1)	32m 54s
release-build (windows-latest)	19m 38s
test-crates (2)	44m 18s
release-build (macos-latest)	14m 28s
test-on-prusti	0s
test-crates (3)	41m 19s
can-merge	2s
	6h 8m 39s

Provide feedback