Function impls_for_ty 

fn impls_for_ty(
    sema: &Semantics<'_, RootDatabase>,
    ty: Type<'_>,
) -> Vec<NavigationTarget>