{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"self.source_map.pat_map_back.insert(id,"}]}
        self.source_map.pat_map_back.insert(id, src.map(AstPtr::wrap_right));
        let id = self.store.pats.alloc(pat);
        self.source_map.pat_map.insert(src, id.into());