{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"self.elaborator.patch().new_block(delegate_block)"}]}
        self.elaborator.patch().new_block(delegate_block)
        });
    }