{"ast_node_type":"other","tokens":[{"end":108,"kind":"keyword","start":0,"text":"//"}]}
            // That prevents issues steming from recursive `#[inline(always)]` at a *relatively* small cost.
            //
            // We *only* need to check all the terminators of a function marked with this attribute.