Simplify some binder shifting logic Not sure if worth, but we'll see
For more information about how rustc works, see the rustc dev guide.
