pub trait LanguageState<F: Symbol, E: ?Sized>: State + Sized {
// Required method
fn configurations<'a>(
&self,
env: &'a E,
) -> Box<dyn Iterator<Item = Configuration<F, Self>> + 'a>;
}
Required Methods§
fn configurations<'a>( &self, env: &'a E, ) -> Box<dyn Iterator<Item = Configuration<F, Self>> + 'a>
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.