{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"//"}]}
        // Accumulate the found witnesses.
        witnesses.apply_constructor(pcx, &missing_ctors, &ctor);
        ret.extend(witnesses);