{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"(Some(docs),"}]}
            (Some(docs), doc_range)
        if let Some((docs, doc_range)) = def.docs_with_rangemap(db, famous_defs, display_target) {
        } else {