pub trait Symbolic: Sized {
// Required method
fn symbolic(desc: &str) -> Self;
// Provided method
fn symbolic_where<F: FnOnce(&Self) -> bool>(desc: &str, f: F) -> Self { ... }
}Required Methods§
Provided Methods§
Sourcefn symbolic_where<F: FnOnce(&Self) -> bool>(desc: &str, f: F) -> Self
fn symbolic_where<F: FnOnce(&Self) -> bool>(desc: &str, f: F) -> Self
Create a new symbolic value, subject to constraints. The result is a symbolic value of
this type on which f returns true.
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.