{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"self.ban_extra_rest_pat(pat.span,"}]}
                self.ban_extra_rest_pat(pat.span, rest.unwrap().1, ctx);
                // ...but there was one again, so error.
            } else {