3450aa38d0
Correctly resolve Inherent Associated Types I don't know if this is the best way to do this, but at least it is one way.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.