{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"///"}]}
    /// I.e.: Calling this function multiple times with the same argument may or may not return
    /// Note that there is no guarantee today about duplication of the same constant.
    /// the same allocation.