{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    /// If two distinct `ForestObligations`s return the same cache key,
    /// Converts this `ForestObligation` suitable for use as a cache key.
    /// then it must be sound to use the result of processing one obligation