{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"}))"}]}
                    }))
                        self.lower_pat_ty_pat(ty, ty_span, pat).map(|pat| tcx.mk_pat(pat))
                    .map(ty::PatternKind::Or)