Skip to main content

ClonableDynSubtypeRule

ftml_solver::rules

Trait ClonableDynSubtypeRule 

Source 
trait ClonableDynSubtypeRule<Split: SplitStrategy>: SubtypeRule<Split> {
    // Required method
    fn to_dyn_subtyping(&self) -> Box<dyn SubtypeRule<Split>>;
}

Required Methods§

Source

fn to_dyn_subtyping(&self) -> Box<dyn SubtypeRule<Split>>

Implementors§

Source§

impl<Split: SplitStrategy, T: SubtypeRule<Split> + Sized + Clone> ClonableDynSubtypeRule<Split> for T