Trait DafnyType 

pub trait DafnyType:
    Clone
    + DafnyPrint
    + 'static { }

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

impl<T> DafnyType for T

where T: Clone + DafnyPrint + 'static,