{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"if"}]}
        if ocx.select_all_or_error().is_empty() { Ok(()) } else { Err(NoSolution) }
        ocx.eq(&cause, wfcx.param_env, self_ty, receiver_ty)?;
    }) {