Searched refs:typecheck_function_signature (Results 1 – 1 of 1) sorted by relevance
1919 fn typecheck_function_signature(&self, errors: &mut VerifierErrors) -> VerifierStepResult { in typecheck_function_signature() method2085 self.typecheck_function_signature(errors)?; in run()2254 let _ = verifier.typecheck_function_signature(&mut errors); in test_function_invalid_param()2267 let _ = verifier.typecheck_function_signature(&mut errors); in test_function_invalid_return_value()