{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"trace!(\"encoding"}]}
            trace!("encoding {:?} with {ty:#?}, {poly_trait_ref:#?}", alloc_id);
        GlobalAlloc::VTable(ty, poly_trait_ref) => {
            AllocDiscriminant::VTable.encode(encoder);