{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
    /// to ensure that we do not loop endlessly while inlining.
    /// The number of `DefId`s is finite, so checking history is enough
    history: Vec<DefId>,