Better checks at `type_check_analyze` #20929

Job	Run time
build-sway-lib-core	4m 35s
get-fuel-core-version	49s
build-reference-examples	1m 20s
build-sway-examples	4m 57s
build-sway-lib-std	4m 46s
forc-fmt-check-sway-lib-core	4m 9s
build-forc-doc-sway-lib-std	5m 54s
build-mdbook	5m 14s
check-sdk-harness-test-suite-compatibility	1m 16s
forc-fmt-check-panic	4m 55s
forc-fmt-check-sway-examples	3m 49s
forc-fmt-check-sway-lib-std	1m 2s
build-forc-test-project	6m 9s
cargo-clippy	52s
cargo-build-workspace	6m 6s
cargo-fmt-check	13s
cargo-run-e2e-test-evm	6m 6s
cargo-run-e2e-test-midenvm	6m 6s
cargo-toml-fmt-check	16s
cargo-test-lib-std	3m 21s
cargo-test-sway-lsp	6m 5s
cargo-test-workspace	6m 5s
cargo-unused-deps-check	4m 19s
forc-pkg-fuels-deps-check	19s
forc-run-benchmarks	3m 51s
forc-unit-tests	5m 22s
pre-publish-check	0s
cargo-test-forc-debug	3m 56s
cargo-test-forc-client	4m 9s
cargo-run-e2e-test-release	5m 9s
cargo-run-e2e-test	5m 9s
build-publish-master-image	1s
publish	1s
notify-slack-on-failure	1s
build-publish-release-image	1s
Build and upload forc binaries to release	1s
	1h 56m 24s

Provide feedback