{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"///"}]}
    /// - Bivariant means that it doesn't matter.
    /// - Invariant means `a == b`.
    ambient_variance: ty::Variance,