{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"self.0.extend(witness.apply_constructor(pcx,"}]}
                self.0.extend(witness.apply_constructor(pcx, ctor));
            for witness in std::mem::take(&mut self.0) {
            }