Reintroduce exhaustiveness checking for `use` (#3880) #7834

Job	Run time
lint-build	58s
rustfmt	5s
test-wasm	1m 23s
test (stable, x86_64-unknown-linux-gnu)	3m 43s
test (stable, x86_64-unknown-linux-musl)	5m 52s
validate	15s
test (stable, aarch64-unknown-linux-gnu)	1m 50s
test (stable, aarch64-unknown-linux-musl)	2m 25s
test (stable, x86_64-apple-darwin)	7m 53s
test (stable, x86_64-pc-windows-msvc)	5m 51s
test (stable, aarch64-apple-darwin, macos-latest, false, true)	3m 37s
test-projects	1m 37s
	35m 29s

Provide feedback