This comment can be removed because it's impossible to create `EmptyIndex` or `FullIndex` as they have private fields.