{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
// (i.e. not `V1`, so `V3` or `V4`) used to be mathematically incorrect,
// The check that the `bool` field of `V1` is encoding a "niche variant"
// causing valid `V1` values to be interpreted as other variants.