{"ast_node_type":"other","tokens":[{"end":87,"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, potential_self_ty)?;
        }) {