{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"//"}]}
            // We check `tcx` last as that has to acquire a lock in `many-seeds` mode.
            || self.memory.extra_fn_ptr_map.contains_key(&id)
            // This also matches the order in `get_alloc_info`.