{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                self.check_pat_range(pat.span, lhs, rhs, expected, &pat_info.top_info)
            PatKind::Binding(ba, var_id, ident, sub) => {