{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"ty::Covariant"}]}
            ty::Covariant => {
        match self.ambient_variance {
                // Covariance, so we want `for<..> A <: for<..> B` --