From 79a976266ef75a82b327de5f97dc55bd69baaee7 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Wed, 29 Apr 2026 20:25:04 +0100
Subject: correctly handle stuck app cases

---
 src/checker_signature.rs | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/checker_signature.rs b/src/checker_signature.rs
index 9512790..7b07105 100644
--- a/src/checker_signature.rs
+++ b/src/checker_signature.rs
@@ -274,9 +274,11 @@ impl CheckerState {
                             element: *element.clone(),
                         })
                     }
-                    Instance::Project { .. } | Instance::App(_, _) => panic!(
-                        "invariant violation: we did not completely expand the inner instance in our app"
-                    ),
+                    Instance::Project { .. } | Instance::App(_, _) => {
+                        // it would appear that we are stuck here, so our only
+                        // choice is to continue to be so
+                        Ok(Instance::App(Box::new(inner), element.clone()))
+                    }
                 }
             }
         }
-- 
cgit v1.3.1