{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"///"}]}
    /// - `Contravariant` -- requires that `T_y :> T`
    /// - `Covariant` -- requires that `T_y <: T`
    /// - `Invariant` -- requires that `T_y == T`