{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
    /// A parameter may only be bivariant if it is constrained by a projection
    /// inference variables if a generalized type has bivariant parameters.
    /// bound in a where-clause. As an example, imagine a type: