correctly handle stuck app cases

1 files 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()))
+                    }
                 }
             }
         }