Function def_to_nav 

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