{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"})"}]}
                    })
                            .unwrap_or_else(|| def_to_nav(sema.db, def))
                    .collect(),