diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/checker_signature.rs | 4 |
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(), |