Completion based on impl<T: Bound>

[kngwyu]

e.g.

struct St<T>(T);
trait Trait: Sized {
   fn method(&self);
}
impl<T: Trait> St<T> {
    fn new(t: T) -> Self {
        t.met~
    }
}

• get type of self
• get type of return type
• makes finds_definition work