Lucene enforces that indices have been created with the same major version when merging multiple indices together, ie. when shrinking. @ywelsch already addressed the case when shards have been created with the previous major and are shrunk with the current version (#28076), but this may still be problematic eg. if some shards have been force-allocated since not all shards would have been created by the same major version in that case.