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