{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// suppressed. Needless to say, this must only be set with great care! Cannot be nested.
    /// We do this so Miri's allocation access tracking does not show the validation