Function hover_with_workspace 

pub fn hover_with_workspace(
    doc: &DocumentState,
    position: Position,
    ws: &dyn WorkspaceView,
) -> Option<Hover>

hover enriched with cross-file module attribution: when the name under the cursor is defined in another project module, append “Defined in module X”.