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