Stochastic optimal control in infinite dimensions with state constraints. (October 2022)