Suppose I have a parameter $\mu$ with a normal prior distribution with mean $\mu_0$ and standard deviation $\sigma_0$. On learning data $D$ with normal likelihood, with empirical mean $\mu_D$ and empirical standard deviation $\sigma_D$, the posterior is a normal distribution with mean $\mu'$ and standard deviation $\sigma'$ (which can be found in terms of $\mu_0,\sigma_0,\mu_D,\sigma_D$).
I am interested in a (weighted) sum of the prior and posterior, which is normally distributed. To find the standard deviation, we need the covariance of prior and posterior. Presumably, these are entirely dependent with covariance $1$, but I am unsure if that's right and if so I am unsure how to prove it.