syntax_data: {"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"idx"}]}
source_snippet:                     idx = idx.max(pat.outer_exclusive_binder());
context_before:                 for pat in pats[1..].iter() {
context_after:                 }