capsec 0.2.2

Compile-time capability-based security for Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

error[E0277]: the trait bound `AsyncWriteFile: AsyncRead` is not satisfied
 --> tests/compile_fail/async_create_cannot_read.rs:9:13
  |
9 |     check::<AsyncWriteFile>();
  |             ^^^^^^^^^^^^^^ the trait `AsyncRead` is not implemented for `AsyncWriteFile`
  |
  = help: the following other types implement trait `AsyncRead`:
            &[u8]
            &mut T
            AsyncReadFile
            Box<T>
            BufStream<RW>
            DuplexStream
            Pin<P>
            SimplexStream
          and $N others
note: required by a bound in `check`
 --> tests/compile_fail/async_create_cannot_read.rs:8:17
  |
8 |     fn check<T: tokio::io::AsyncRead>() {}
  |                 ^^^^^^^^^^^^^^^^^^^^ required by this bound in `check`