From 281bd9a48d64307467b08bb1c205133a45d5dc65 Mon Sep 17 00:00:00 2001
From: Bojan Serafimov <bojan.serafimov7@gmail.com>
Date: Thu, 25 May 2023 08:08:13 -0400
Subject: [PATCH] Fix bug

---
 pageserver/src/tenant/layer_map/layer_coverage.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/pageserver/src/tenant/layer_map/layer_coverage.rs b/pageserver/src/tenant/layer_map/layer_coverage.rs
index 58e8b3d1da..0350b2d402 100644
--- a/pageserver/src/tenant/layer_map/layer_coverage.rs
+++ b/pageserver/src/tenant/layer_map/layer_coverage.rs
@@ -88,7 +88,11 @@ impl<Value: Clone> LayerCoverage<Value> {
             prev_covered = needs_cover;
         }
         if !prev_covered {
-            to_remove.push(key.end);
+            // TODO This line is commented because there's a bug. If uncommented, the
+            //      pageserver_chaos test fails. I suspect it has to do with improper
+            //      handling of key collisions. Will add more tests.
+            // to_remove.push(key.end);
+
             // TODO check if key.start is redundant too
         }
         for k in &to_update {