{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"///"}]}
    /// require allocation in sufficiently hot contexts, then this allows for a closure to be called
    /// or `generic_activity_with_args` for their simpler API. However, if they are costly or
    /// only when arguments were asked to be recorded via `-Z self-profile-events=args`.