{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"}"}]}
                }
                    _ => (),
                PatKind::Binding { name: name.clone(), subpattern: self.lower_opt_pattern(subpat) }