capsec 0.2.2

Compile-time capability-based security for Rust
Documentation 
1
2
3
4
5
6
7
8
9
10

/// capsec_tokio::fs::open() returns AsyncReadFile, which does not implement AsyncWrite.
use capsec_tokio::file::AsyncReadFile;

fn assert_type(_: &AsyncReadFile) {}

fn main() {
    // AsyncReadFile does not implement AsyncWrite — this must not compile
    fn check<T: tokio::io::AsyncWrite>() {}
    check::<AsyncReadFile>();
}