{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"))),"}]}
                ))),
                    ptr.cast::<WithCachedTypeInfo<ty::TyKind<'tcx>>>().as_ref(),
                CONST_TAG => GenericArgKind::Const(ty::Const(Interned::new_unchecked(