{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"self.pending_obligations"}]}
        self.pending_obligations = snapshot.pending_obligations;
        self.type_variable_table = snapshot.type_variable_table;
    }