pub trait ForestObligation: Clone + Debug {
type CacheKey: Clone + Hash + Eq + Debug;
// Required method
fn as_cache_key(&self) -> Self::CacheKey;
}
Required Associated Types§
Required Methods§
sourcefn as_cache_key(&self) -> Self::CacheKey
fn as_cache_key(&self) -> Self::CacheKey
Converts this ForestObligation
suitable for use as a cache key.
If two distinct ForestObligations
s return the same cache key,
then it must be sound to use the result of processing one obligation
(e.g. success for error) for the other obligation