The Hilbert–Schmidt theorem says a self-adjoint compact operator on a Hilbert space have a complete orthonormal set consisting of eigenvectors. Does that imply the space is separable?
No. The eigenvectors are a complete orthonormal set for the image of the operator. The space would be separable if the operator were surjective.