{"ast_node_type":"import","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// can't generally check these things right away because we have
    /// `$0: 'static`. This will get checked later by regionck. (We
    /// to wait until types are resolved.)