Skip to main content

WithoutFilesystem

Trait WithoutFilesystem 

Source
pub trait WithoutFilesystem { }
Expand description

Type does not read or write the host filesystem.

Assert via T: WithoutFilesystem to prove at compile time that a chain has no filesystem access. Grounds that touch the real filesystem (e.g. host_read, host_write) do NOT impl this; pure grounds (canned, empty, deny) do. Operators propagate via AND: AndThen<A, B>: WithoutFilesystem requires both sides.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§