bdev.rs

trait BlockDevice {
    fn write(&mut self);
}

type sector_t = u64;

struct Local {
    path: String
}
impl BlockDevice for Local {
    fn write(&mut self) {}
}

struct Linear<B: BlockDevice> {
    backing: B,
    offset: sector_t,
}
impl <B: BlockDevice> BlockDevice for Linear<B> {
    fn write(&mut self) {}
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn typecheck() {
        let bdev = Linear {
            backing: Local { path: "hoge".to_owned() },
            offset: 1024,
        };
    }
}