{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"{"}]}
                    {
                        || !occupied_entry.get().borrow_mut().union(&*dropped_local_here.borrow())
                        // `succ` has been visited but no new drops observed so far,