Type inference has three outputs whereas checking only has two.

In certain situations, inferences are needed.