Function cleaver::fe::check_with_diag

pub fn check_with_diag<'a>(functions: &'a Functions,
                           config: &Option<Config>)
                           -> Result<(), CheckError<'a>>