{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"///"}]}
    /// Finally, we also add back_box usages of all input arguments, to prevent rustc
    /// bug would ever try to accidentally differentiate this placeholder function body.
    /// from optimizing any arguments away.