feat: Constructor generic type inference #4791

Job	Run time
Check	4s
Runtimes	31s
Features	21s
Compiler (ubuntu, node current)	1m 50s
Bootstrap (debug)	4m 20s
Compiler (ubuntu, node lts/*)	1m 55s
Bootstrap (release)	5m 15s
Compiler (macos, node current)	1m 28s
Coverage	4m 3s
Compiler (macos, node lts/*)	1m 9s
Loader	19s
Compiler (windows, node current)	2m 13s
Compiler (windows, node lts/*)	2m 30s
	25m 58s

Provide feedback