05f80f03a9
Make anonymous binders start at 0 A few changes to some test outputs, but these actually look *more* correct to me.
For more information about how rustc works, see the rustc dev guide.
05f80f03a9