We have this nice table in the tcx called adjustments that's supposed to track when an expression is being auto-ref'd or auto-deref'd. It would make borrowck, trans, and other pieces of code that are concerned with this "just work". But it's not being used for overloaded operators right now.