{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"///"}]}
    /// Discriminant of the given value.
    Projection(VnIndex, ProjectionElem<VnIndex, ()>),
    Discriminant(VnIndex),