Function resolve_target_trait 

pub fn resolve_target_trait(
    sema: &Semantics<'_, RootDatabase>,
    impl_def: &Impl,
) -> Option<Trait>

Given the impl block, attempts to find the trait this impl corresponds to.