{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"GenericArgKind::Const(ct)"}]}
            GenericArgKind::Const(ct) => tcx.lift(ct).map(|ct| ct.into()),
            GenericArgKind::Type(ty) => tcx.lift(ty).map(|ty| ty.into()),
        }