erase regions also anonymizes bound vars, which is undesirable
Instance
For more information about how rustc works, see the rustc dev guide.
