{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"self.options"}]}
                            self.options |= TransformTyOptions::GENERALIZE_POINTERS;
                            let options = self.options;
                            let ty = ty0.fold_with(self);