135/330: gnu: Add rust-typewit-1.

[guix-commits]

efraim pushed a commit to branch rust-team
in repository guix.

commit 0ef58427935fa5555b8e3b3725fa587515b6c177
Author: Efraim Flashner <efraim@flashner.co.il>
AuthorDate: Sat Mar 16 21:59:55 2024 +0200

    gnu: Add rust-typewit-1.
    
    * gnu/packages/crates-io.scm (rust-typewit-1): New variable.
    
    Change-Id: I987876d0b2729888bf01ebf68fbf4837ebd12ad9
---
 gnu/packages/crates-io.scm | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 69a7c2638c..ed89e3cc33 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -77205,6 +77205,28 @@ implementation is incomplete.")
     (license (list license:asl2.0
                    license:expat))))
 
+(define-public rust-typewit-1
+  (package
+    (name "rust-typewit")
+    (version "1.9.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (crate-uri "typewit" version))
+       (file-name (string-append name "-" version ".tar.gz"))
+       (sha256
+        (base32 "093fgb1q5n48vr4nj3hggbhfi6jzab5048scs6jz1ynalgk9myy6"))))
+    (build-system cargo-build-system)
+    (arguments
+     `(#:cargo-inputs (("rust-typewit-proc-macros" 
,rust-typewit-proc-macros-1))
+       #:cargo-development-inputs (("rust-arrayvec" ,rust-arrayvec-0.7)
+                                   ("rust-trybuild" ,rust-trybuild-1))))
+    (home-page "https://github.com/rodrimati1992/typewit/";)
+    (synopsis "Type-witness-based abstractions")
+    (description "This package provides type-witness-based abstractions, mostly
+for emulating polymorphism in const fns.")
+    (license license:zlib)))
+
 (define-public rust-typewit-proc-macros-1
   (package
     (name "rust-typewit-proc-macros")