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