remove allowMetaTypes for inferStaticParam + properly annotate unresolved range #27137

Job	Run time
ubuntu-20.04 (batch: allowed_failures)	7m 31s
ubuntu-20.04 (batch: 0_3)	19m 47s
ubuntu-20.04 (batch: 1_3)	26m 48s
ubuntu-20.04 (batch: 2_3)	20m 54s
macos-12 (batch: allowed_failures)	11m 53s
macos-12 (batch: 0_3)	30m 32s
macos-12 (batch: 1_3)	29m 32s
macos-12 (batch: 2_3)	27m 38s
	2h 54m 35s

Provide feedback