On frequentist coverage of Bayesian credible sets for estimation of the mean under constraints