Rust

Fix `semicolon_if_nothing_returned` lints. #440

Job	Run time
build_on_wasm	26m 28s
check-formatting	8s
build (macos-latest)	1m 22s
build_with_vcpkg_installed_z3 (linux)	2m 0s
build (ubuntu-latest)	53s
build_z3_statically (linux)	23m 24s
run_clippy	1m 7s
build_with_vcpkg_installed_z3 (macos)	1m 37s
build_z3_statically (macos)	13m 39s
build_with_vcpkg_installed_z3 (windows)	8m 28s
build_z3_statically (windows)	28m 54s
	1h 48m 0s

Provide feedback