{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"///"}]}
    /// The region SUP must outlive SUB...
    // to be first, etc. (In particular, span should remain last.)
    pub sup: RegionVid,