diff options
| -rw-r--r-- | src/checker_signature.rs | 8 |
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())) + } } } } |