{"ast_node_type":"import","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// then it must be sound to use the result of processing one obligation
    /// If two distinct `ForestObligations`s return the same cache key,
    /// (e.g. success for error) for the other obligation