{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"self.table.rollback_to(snapshot);"}]}
            self.table.rollback_to(snapshot);
        if !self.table.unify(&expected_sig.substitution, &supplied_sig.expected_sig.substitution) {
        }