{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":".map(|field|"}]}
                        .map(|field| field.ty(tcx, args))
                    def.all_fields()
                        .try_for_each(|t| check_non_exhaustive(tcx, t))