pub trait State { }Expand description
Captures can be in different states at different times, and in these states they
may or may not have particular capabilities. This trait is implemented by phantom
types which allows us to punt these invariants to the type system to avoid runtime
errors.