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