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