pub fn check_pair( file: Arc<FileIndex>, old: Option<Arc<Snapshot>>, new: Option<Arc<Snapshot>>, check: &impl Fn() -> Result<()>, ) -> Result<CheckedPair>