fix compiletests #516

Job	Run time
cargo-deny	51s
Test (macOS-latest)	8m 42s
Android (ubuntu-24.04, aarch64-linux-android)	7m 54s
Difftest (ubuntu-24.04)	8m 26s
Lint	6m 19s
Compiletest (windows-2022)	14m 56s
Test (windows-2022)	15m 45s
Compiletest (ubuntu-24.04)	7m 40s
Compiletest (macOS-latest)	4m 37s
Difftest (windows-2022)	16m 35s
Test (ubuntu-24.04)	8m 14s
Difftest (macOS-latest)	5m 23s
test_success	4s
	1h 45m 26s

Provide feedback