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
22
23

error[E0277]: the trait bound `Cap<capsec::FsRead>: capsec::Has<capsec::NetConnect>` is not satisfied
  --> tests/compile_fail/wrong_capability_rejected.rs:10:15
   |
10 |     needs_net(&fs_cap);
   |     --------- ^^^^^^^ the trait `capsec::Has<capsec::NetConnect>` is not implemented for `Cap<capsec::FsRead>`
   |     |
   |     required by a bound introduced by this call
   |
   = help: the following other types implement trait `capsec::Has<P>`:
             `Cap<(Ambient, Ambient)>` implements `capsec::Has<Ambient>`
             `Cap<(Ambient, EnvRead)>` implements `capsec::Has<Ambient>`
             `Cap<(Ambient, EnvRead)>` implements `capsec::Has<EnvRead>`
             `Cap<(Ambient, EnvWrite)>` implements `capsec::Has<Ambient>`
             `Cap<(Ambient, EnvWrite)>` implements `capsec::Has<EnvWrite>`
             `Cap<(Ambient, FsAll)>` implements `capsec::Has<Ambient>`
             `Cap<(Ambient, FsAll)>` implements `capsec::Has<FsAll>`
             `Cap<(Ambient, FsWrite)>` implements `capsec::Has<Ambient>`
           and $N others
note: required by a bound in `needs_net`
  --> tests/compile_fail/wrong_capability_rejected.rs:5:23
   |
 5 | fn needs_net(_: &impl Has<NetConnect>) {}
   |                       ^^^^^^^^^^^^^^^ required by this bound in `needs_net`