{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
    /// otherwise the item does not make sense. Type-checking ensures that
    /// In order to codegen an item, all of its predicates must hold, because
    /// the predicates of every item that is *used by* a valid item *do*