This is a tracking issue for avoiding region inference in item body type checking. The goal would be to use ReErased where we currently use ReVar as much as possible.

The motivations for this are:

• It would avoid doing region inference twice (once in typeck, once in borrowck).
• It might improve caching since there are fewer distinct types.
• It ensures that region inference cannot affect later passes.

cc @nikomatsakis