Probably the biggest way that self is getting special cased here is that it won't try to deref self but it will try to deref other arguments (why is `PartialEq<Inner> for Outer` fine there but not `PartialEq<Outer> for Inner`?)
-
so the deref coercion is just one fudge factor in a sea of inference questions autoderef, on the other hand, works only for one specific type of syntax, and isn't impacted by the types of the arguments
Right, it's impacted by whether it knows the type it's inferring to or whether it needs to determine the type to satisfy trait resolution, and there's a special case for when there's only one impl of said trait for the receiving type
-
-
My biggest frustration has been that it just stops if it sees two impls at all, regardless of whether they could apply or not. It led to (for example) having to inline r2d2-diesel into diesel so we could impl Connection on pointers directly
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.