use crate::ast::*;
use crate::checker_state::*;

use tracing::instrument;

impl CheckerState {
    #[instrument(skip(self), level = "debug", fields(%signature))]
    pub fn check_signature(&self, signature: Signature) -> Result<Signature, CheckerError> {
        Err(CheckerError::Unimplemented(
            "signature checking".to_string(),
        ))
    }
}