flux_middle::rty::fold

Trait TypeSuperFoldable

Source
pub trait TypeSuperFoldable: TypeFoldable {
    // Required method
    fn try_super_fold_with<F: FallibleTypeFolder>(
        &self,
        folder: &mut F,
    ) -> Result<Self, F::Error>;

    // Provided method
    fn super_fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self { ... }
}

Required Methods§

Source

fn try_super_fold_with<F: FallibleTypeFolder>( &self, folder: &mut F, ) -> Result<Self, F::Error>

Provided Methods§

Source

fn super_fold_with<F: TypeFolder>(&self, folder: &mut F) -> Self

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.

Implementors§