From c579060a7879670d010d649536996bb063dbe689 Mon Sep 17 00:00:00 2001 From: tslil Date: Wed, 29 Apr 2026 17:44:31 +0100 Subject: unconditionally check codomain for var --- src/checker_signature.rs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'src/checker_signature.rs') 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(), -- cgit v1.3.1