{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//"}]}
            // This is guaranteed to be called by metadata encoding,
        DefKind::Closure => {
            // we still call it in wfcheck eagerly to ensure errors in codegen