go to definition in into goes to blanket implementation

[oriongonza]

  struct S;

impl From<S> for String {
    fn from(value: S) -> Self {
        todo!()
    }
}

impl S {
    fn foo(self) -> String {
        self.into() // go to definition here goes to `impl<T, U> Into<U> for T
                    // which is not very useful
    }
}

[davidbarsky]

Closing as a duplicate of #13394; I'd recommend reading the discussion there. I expect that moving to the new trait solver (hopefully by the end of the year...) would make this feature possible.