Assume that we have two scalar quantities $X$ and $Y$, and a confidence interval oracle $CI$ for each of them, so that $CI_X(\alpha)$ and $CI_Y(\alpha)$ will produce level-$\alpha$ confidence intervals for $X$ and $Y$ respectively. Assume that we know nothing about the procedure by which the confidence intervals are generated, that they are not necessarily symmetric, but that they are exact.
What would be the most reasonable way to test a hypothesis of the form $X=Y$? This question contains work on t tests specifically, and seems to have quite strong results in the answer by @whuber, but under assumptions on things such as the underlying variance. What is there for a more general, non-symmetric, non-normal case?
If two confidence intervals at level $\alpha$ do not overlap at all, it seems intuitively reasonable to at least say that we can reject the null hypothesis $X=Y$ at a $p < \alpha$ level. Does this have a theoretical justification, and is there anything stronger?