a709cc1f32
Cleanups in autoderef impl Just something I noticed. Turns out the `overloaded_span` is not actually used separately from the main span, so I merged them.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.