sel4_shared_memory::access

Trait RestrictAccess

Source 
pub trait RestrictAccess<To>: Access {
    type Restricted: Access;
}
Expand description

A trait for restricting one Access type to another Access type.

Restricting Self to To results in Self::Restricted.

Restriction is a symmetric operation which is denoted by ∩, as it is the intersection of permissions. The following table holds:

Required Associated Types§

Source

type Restricted: Access

The resulting Access type of Self restricted to To.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§