{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"TyKind::OpaqueType(_,"}]}
            TyKind::OpaqueType(_, subst) => {
            // FIXME: check this
                self.add_constraints_from_invariant_args(subst.as_slice(Interner), variance);