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