vfsi-sync 0.1.14

Synchronous scalar and vectorized filesystem interfaces for VFSI
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//! Package-boundary checks for the two native backend contracts.

use vfsi_sync::backend::{HandleBackend, VectorBackend};

fn accepts_handle(_: &mut dyn HandleBackend) {}
fn accepts_vector(_: &mut dyn VectorBackend) {}
fn accepts_backend_as_handle_contract(backend: &mut dyn VectorBackend) {
    accepts_handle(backend);
}

#[test]
fn backend_contracts_are_object_safe_and_vector_includes_handles() {
    let _: fn(&mut dyn HandleBackend) = accepts_handle;
    let _: fn(&mut dyn VectorBackend) = accepts_vector;
    let _: fn(&mut dyn VectorBackend) = accepts_backend_as_handle_contract;
}