{"ast_node_type":"variable","tokens":[{"end":49,"kind":"keyword","start":0,"text":"if"}]}
    if let Ok(()) = wfcx.infcx.commit_if_ok(|_| {
    // Special case `receiver == self_ty`, which doesn't necessarily require the `Receiver` lang item.
        let ocx = ObligationCtxt::new(wfcx.infcx);