Trait ForLoopGhostIteratorNew 

pub trait ForLoopGhostIteratorNew {
    type GhostIter;

    // Required method
    spec fn ghost_iter(&self) -> Self::GhostIter;
}

Required Associated Types

type GhostIter

Required Methods

spec fn ghost_iter(&self) -> Self::GhostIter

Dyn Compatibility

This trait is dyn compatible.

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

Implementors