Example of a constructive separable space with an inseparable completion

An example is constructed of a constructive uniform constructively $\mathscr T_2$-space with an enumerable fundamental system of encirclements, whose completion is not even a constructively $\mathscr T_0$-space.