I think this `DeveloperError` is redundant with the main one in `getEigenDecomposition`.