Skip to main content

ClonableDynInhabitableRule

ftml_solver::rules

Trait ClonableDynInhabitableRule 

Source 
trait ClonableDynInhabitableRule<Split: SplitStrategy>: InhabitableRule<Split> {
    // Required method
    fn to_dyn_inhabitable(&self) -> Box<dyn InhabitableRule<Split>>;
}

Required Methods§

Source

fn to_dyn_inhabitable(&self) -> Box<dyn InhabitableRule<Split>>

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§