{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"///"}]}
    /// Double buffer used in [`Self::resolve_obligations_as_possible`] to cut down on
    pending_obligations: Vec<Canonicalized<InEnvironment<Goal>>>,
    /// temporary allocations.