{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// `$0: 'static`. This will get checked later by regionck. (We
    /// the same time, it will record a region obligation of
    /// can't generally check these things right away because we have