{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"///"}]}
    /// - `Invariant` -- requires that `T_y == T`
    /// - `Contravariant` -- requires that `T_y :> T`
    /// - `Bivariant` -- no effect