{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"AllocDiscriminant::Static.encode(encoder);"}]}
            AllocDiscriminant::Static.encode(encoder);
            // just about its `DefId`.
            // Cannot use `did.encode(encoder)` because of a bug around