{"ast_node_type":"variable","tokens":[{"end":15,"kind":"keyword","start":0,"text":"let"}]}
    let cause =
    let tcx = wfcx.tcx();
        ObligationCause::new(span, wfcx.body_def_id, traits::ObligationCauseCode::MethodReceiver);