Execute `type check` afeter resolving generics #2317

Job	Run time
rustfmt	12s
build (ubuntu-latest, stable, x86_64-unknown-linux-gnu)	1m 21s
clippy	42s
build (macOS-latest, stable, x86_64-apple-darwin)	1m 34s
build (windows-latest, stable, x86_64-pc-windows-msvc)	4m 28s
std	2m 51s
	11m 8s

Provide feedback