{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"let"}]}
        let pending_obligations = self.pending_obligations.clone();
        let type_variable_table = self.type_variable_table.clone();
        InferenceTableSnapshot { var_table_snapshot, pending_obligations, type_variable_table }