{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
    /// inference variables if a generalized type has bivariant parameters.
    /// This means that when subtyping, we may end up with unconstrained
    /// A parameter may only be bivariant if it is constrained by a projection