hax_types::cli_options::extension

Trait ExtensionPoint

source
pub trait ExtensionPoint:
    Debug
    + for<'a> Deserialize<'a>
    + Serialize
    + JsonSchema
    + Clone { }

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§