"Jump to definition" should jump to a trait impl when the concrete type is known.

[umanwizard]

Example program:

struct S(i32);

impl Default for S {
    fn default() -> Self {
        Self(42)
    }
}

fn main() {
    let s = S::default();
}

Jump-to-definition on the default call should (IMO) go to its implementation in the impl block, not in the definition of the Default trait.

[Veykril]

I think this is a dupe of #4558

[flodiebold]

Yes.