From 9b297721b4a373c79358ee99003b9d265e3490ac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20F=C3=A4rber?= <01mf02@gmail.com>
Date: Tue, 16 Apr 2024 10:16:41 +0200
Subject: [PATCH] Strengthen value trait.

---
 jaq-interpret/src/val.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/jaq-interpret/src/val.rs b/jaq-interpret/src/val.rs
index 58bfd3bb..2bd01c0b 100644
--- a/jaq-interpret/src/val.rs
+++ b/jaq-interpret/src/val.rs
@@ -55,7 +55,9 @@ fn rc_unwrap_or_clone<T: Clone>(a: Rc<T>) -> T {
     Rc::try_unwrap(a).unwrap_or_else(|a| (*a).clone())
 }
 
-pub(crate) trait ValT: Clone + Sized {
+pub(crate) trait ValT:
+    Clone + From<bool> + From<isize> + From<String> + FromIterator<Self>
+{
     /// If `Ok(k)` is in `v.keys()`, then
     /// `v.index(k)` must be `Ok(_)` and in `v.range(Range::default())`.
     fn values(self) -> Box<dyn Iterator<Item = Result<Self, Error>>>;