librustc: Remove the fallback to `int` from typechecking.

Not yet ready for merge; lots of tests still failing.

This broke very little real code but broke pretty much every test everywhere.

cc @nikomatsakis