{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// the predicates of every item that is *used by* a valid item *do*
    /// otherwise the item does not make sense. Type-checking ensures that
    /// hold, so we can rely on that.