{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"|span,"}]}
            |span, def_id| {
            allow_unstable,
                // The API could be uncallable for other reasons, for example when a private module