{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"receiver_is_valid(wfcx,"}]}
        receiver_is_valid(wfcx, span, receiver_ty, self_ty, arbitrary_self_types_level, generics);
    let receiver_validity =
    if let Err(receiver_validity_err) = receiver_validity {