{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            _ => None,
        add_opt(runnable.or_else(|| module_def_doctest(sema.db, def)), Some(def));