Sync written files #7153

Job	Run time
fmt-check	1m 33s
check-deps	18m 48s
clippy-check	6m 47s
quick-tests	13m 5s
smir-check	5s
purification-tests	13m 39s
release-build (ubuntu-latest)	12m 31s
release-build (windows-latest)	27m 33s
release-build (macos-latest)	26m 59s
all-tests (ubuntu-latest)	31m 59s
all-tests (windows-latest)	47m 10s
all-tests (macos-latest)	56m 29s
test-crates (0)	1h 42m 25s
test-crates (1)	45m 54s
test-crates (2)	54m 4s
test-crates (3)	1h 5m 44s
test-on-prusti	0s
can-merge	1s
	8h 44m 46s

Provide feedback