Function def_to_nav 

fn def_to_nav(
    sema: &Semantics<'_, RootDatabase>,
    def: Definition<'_>,
) -> Vec<NavigationTarget>