.

martin-ockajak · Jul 19, 2024 · eef5a4f · eef5a4f
1 parent 8acad53
commit eef5a4f
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 5 deletions.
diff --git a/tests/extensions/ordered.rs b/tests/extensions/ordered.rs
@@ -7,7 +7,7 @@ use crate::extensions::util::Equal;
 
 pub(crate) fn test_ordered<'a, C>(a: &C, b: &C, e: &C)
 where
-  C: Ordered<i64> + Iterable<Item<'a> = &'a i64> + Equal + Debug + 'a,
+  C: Ordered<i64> + Iterable<Item<'a> = &'a i64> + Equal + Debug + ?Sized + 'a,
 {
   // common_prefix_length
   assert_eq!(a.common_prefix_length(&vec![1, 2, 3, 4]), 3);

diff --git a/tests/extensions/traits.rs b/tests/extensions/traits.rs
@@ -33,9 +33,8 @@ where
 #[allow(dead_code)]
 pub(crate) fn test_slice_traits(a: &[i64], b: &[i64], e: &[i64])
 {
-  // FIXME - fix slice tests
-  // test_traversable(true, a, b, e);
-  // test_ordered(a, b, e);
+  test_traversable(true, a, b, e);
+  test_ordered(a, b, e);
   test_slice(a, b, e);
 }
 

diff --git a/tests/extensions/traversable.rs b/tests/extensions/traversable.rs
@@ -5,7 +5,7 @@ use cantrip::{Iterable, Traversable};
 
 pub(crate) fn test_traversable<'a, C>(sequence: bool, a: &C, b: &C, e: &C)
 where
-  C: Traversable<i64> + Iterable<Item<'a> = &'a i64> + Debug + 'a,
+  C: Traversable<i64> + Iterable<Item<'a> = &'a i64> + Debug + ?Sized + 'a,
 {
   // all
   assert!(a.all(|&x| x > 0));