REDIM: Don't leave elements with dtor only uninitialized (fixes #717)