{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"ty::Covariant"}]}
            ty::Covariant => self.sub(define_opaque_types, expected, actual),
        match variance {
            ty::Invariant => self.eq(define_opaque_types, expected, actual),