{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":")"}]}
) -> Option<lsp_types::DiagnosticRelatedInformation> {
    snap: &GlobalStateSnapshot,
    let message = span.label.clone()?;