{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
    /// (e.g. success for error) for the other obligation
    /// then it must be sound to use the result of processing one obligation
    fn as_cache_key(&self) -> Self::CacheKey;