如何模拟` `std::fs::File`，检查单元测试中是否正确使用了`File::set_len`？

use mockall::predicate::*;
use std::fs::File;

// 定义一个模拟的File对象
#[automock]
pub trait MockFile {
    fn set_len(&mut self, size: u64) -> std::io::Result<()>;
}

// 在测试中使用模拟的File对象
#[cfg(test)]
mod tests {
    use super::*;
    
    #[test]
    fn test_set_len() {
        // 创建一个模拟的File对象
        let mut file = MockFile::default();
        
        // 设置期望，期望set_len方法被调用一次，并传入参数10
        file.expect_set_len()
            .with(eq(10))
            .returning(|_| Ok(()));
        
        // 调用被测试的代码，使用file对象的set_len方法
        // 这里假设被测试的代码会调用set_len(10)
        let result = some_function_that_uses_set_len(&mut file);
        
        // 验证set_len方法是否按照预期被调用
        file.check_expectations();
        
        // 验证被测试的代码的返回值是否正确
        assert_eq!(result, Ok(()));
    }
    
    // 被测试的代码，使用了File对象的set_len方法
    fn some_function_that_uses_set_len(file: &mut dyn MockFile) -> std::io::Result<()> {
        file.set_len(10)
    }
}