{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
    /// During writeback in typeck, we don't care about regions and simply
pub enum DefiningScopeKind {
    /// erase them. This means we also don't check whether regions are