{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"self.pat_span"}]}
                    self.pat_span = Some(pat_span);
                    self.head_span = Some(*head_span);
                    self.loop_span = Some(stmt.span);