You are an expert in writing code in many different languages. Your goal is to perform code completion for the following code, keeping in mind the rest of the code and the file meta data.
    Metadata details:
    filename: lib.rs
    path of file: ./repos/modelfox/crates/app/migrations
    
    the code of the file until where you have to start completion: use anyhow::{bail, Result};
use futures::prelude::future::*;
use modelfox_zip::zip;
use once_cell::sync::Lazy;
use sqlx::prelude::*;
use std::collections::BTreeMap;

mod migration_2020_01_01_000000;
mod 
    
pub async fn verify(db: &sqlx::AnyPool) -> Result<()> {
	create_migrations_table_if_necessary(db).await?;
	let migration_rows = sqlx::query("select name from _migrations order by name")
		.fetch_all(db)
		.await?;
	let migrations_consistent =
		zip!(migration_rows.iter(), MIGRATIONS.keys()).all(|(migration_row, migration_name)| {
			migration_row.get::<String, usize>(0) == *migration_name
		});
	if !migrations_consistent {
		bail!(
			"There was a mismatch between the migrations your database has run and the migrations this version of modelfox expects. This should not happen unless you are hacking on modelfox. Please contact us at help@modelfox.dev."
		);
	}
	if migration_rows.len() > MIGRATIONS.len() {
		bail!(
			"Your database has run migrations from a newer version of modelfox. Please update to the latest version of modelfox."
		);
	}
	if migration_rows.len() < MIGRATIONS.len() {
		bail!("Please run `modelfox migrate` to update your database to the latest schema.");
	}
	Ok(())
}