Function cleaver::analysis::types::check_function_with_diag

pub fn check_function_with_diag<'a>(functions: &'a Functions,
                                    function: &'a Node<Function>,
                                    config: &Option<Config>)
                                    -> Result<'a, ()>