From 58d25fccf88b2d1d8bb9454f8e858115bbbf5683 Mon Sep 17 00:00:00 2001
From: BDisp <bd.bdisp@gmail.com>
Date: Fri, 22 Mar 2024 20:45:44 +0000
Subject: [PATCH] Remove erroneous code.

---
 Terminal.Gui/Application.cs | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/Terminal.Gui/Application.cs b/Terminal.Gui/Application.cs
index e6fbd32fb..0a228511a 100644
--- a/Terminal.Gui/Application.cs
+++ b/Terminal.Gui/Application.cs
@@ -435,13 +435,6 @@ public static partial class Application
             {
                 Top.OnLeave (Toplevel);
             }
-            else if (OverlappedTop is null && Top is { } && Toplevel != Top && _topLevels.Contains (Top))
-            {
-#if DEBUG_IDISPOSABLE
-                // Probably this will never hit
-                Debug.Assert (Top.WasDisposed);
-#endif
-            }
 
             // BUGBUG: We should not depend on `Id` internally. 
             // BUGBUG: It is super unclear what this code does anyway.