{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"self.propagate_from_alloc(alloc);"}]}
                                self.propagate_from_alloc(alloc);
                                let alloc = self.tcx.global_alloc(alloc.alloc_id).unwrap_memory();
                            }