{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
/// A lazy version of [`AttrTokenStream`], which defers creation of an actual
/// `AttrTokenStream` until it is needed.