Trait Translate

pub unsafe trait Translate {
    // Required method
    fn translate(&self, dest: &Context) -> Self;
}

Expand description

Represents types that depend on a Context and can be translated to another Context.

§Safety

Implementations of this trait must ensure that the translate method translates all contained z3 data into the new Context

This trait is not dyn compatible.

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