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