{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"///"}]}
    /// This is initially `Some(_)` but when
    ///
    /// `resolve_regions_and_report_errors` is invoked, this gets set to `None`