On Fri, Jan 24, 2014 at 07:02:19AM -0800, Eduard Burtescu wrote:
> Not sure I want to touch that code, with this comment somewhat implying a reason for that specific construct:
> ```rust
> // With type_autoderef, make sure we don't allow pointers to violate privacy
> ```

No worries, it's out of scope for your PR I agree (though I'm sure
that the change I suggested would be fine, and if not I'd be very
worried)