Trait OpaqueTypeStorageEntries

pub trait OpaqueTypeStorageEntries:
    Debug
    + Copy
    + Default {
    // Required method
    fn needs_reevaluation(self, canonicalized: usize) -> bool;
}

Required Methods

fn needs_reevaluation(self, canonicalized: usize) -> bool

Whether the number of opaques has changed in a way that necessitates reevaluating a goal. For now, this is only when the number of non-duplicated entries changed.

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