unconditionally check codomain for var

1 files changed, 1 insertions, 3 deletions

diff --git a/src/checker_signature.rs b/src/checker_signature.rs
index bf04308..9512790 100644
--- a/src/checker_signature.rs
+++ b/src/checker_signature.rs
@@ -224,9 +224,7 @@ impl CheckerState {
                                 "It should have been impossible to construct an Ext with no params, but here we are"
                             );
                         }
-                        if params.len() == 1
-                            && let Some(signature) = signature
-                        {
+                        if let Some(signature) = signature {
                             if !self.equal(&**codomain, signature) {
                                 return Err(CheckerError::WrongSignatureForInstance {
                                     value: instance.clone().into(),