{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"//"}]}
// but *not* an encoding of the discriminant (e.g., a tag value).
// Present uninhabited variants only require space for their fields,
// See issue #49298 for more details on the need to leave space