pub trait OpaqueTypeStorageEntries:
Debug
+ Copy
+ Default {
// Required method
fn needs_reevaluation(self, canonicalized: usize) -> bool;
}
Required Methods§
Sourcefn needs_reevaluation(self, canonicalized: usize) -> bool
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.