{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
        /// symbol name calculation that some extra mangling is needed to
        /// This flag indicates that this situation is occurring, and informs
        /// avoid conflicts. Note that this may eventually go away entirely if