Type of actual does not match type of formal check