{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"ty::Invariant"}]}
                    ty::Invariant => {
                let (lhs, rhs, direction) = match instantiation_variance {
                        (generalized_ty.into(), source_ty.into(), AliasRelationDirection::Equate)