{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"for"}]}
        for elt in after {
        // Type check the elements after `slice`, if present.
            self.check_pat(elt, element_ty, pat_info);