Relax trait bounds

Signed-off-by: Moritz Hoffmann <[email protected]>

README.md

@@ -33,7 +33,7 @@ interface to permit a multitude of types to be presented to the same region. For
 example, a region containing string-like objects and only promising access to
 `&str` can accept anything that looks like a string, i.e., `String`, `&str` and
 references to said types. A region's write-half should be implemented using the
-[`CopyOnto`] trait.
+[`Push`] trait.
 
 Regions permit data access through opaque indexes, which the caller is responsible
 for memorizing. An index grants access to the region-specific data representation,

src/impls/slice.rs

@@ -278,7 +278,7 @@ where
 
 impl<'a, T, R, O> ReserveItems<&'a Vec<T>> for SliceRegion<R, O>
 where
-    R: Region + ReserveItems<&'a T>,
+    for<'b> R: Region + ReserveItems<&'b T>,
     O: OffsetContainer<R::Index>,
 {
     fn reserve_items<I>(&mut self, items: I)

src/impls/string.rs

@@ -152,14 +152,14 @@ where
     }
 }
 
-impl<'a, R> ReserveItems<&'a &'a str> for StringRegion<R>
+impl<'a, 'b: 'a, R> ReserveItems<&'a &'b str> for StringRegion<R>
 where
-    for<'b> R: Region<ReadItem<'b> = &'b [u8]> + ReserveItems<&'b [u8]> + 'b,
+    for<'c> R: Region<ReadItem<'c> = &'c [u8]> + ReserveItems<&'c [u8]> + 'c,
 {
     #[inline]
     fn reserve_items<I>(&mut self, items: I)
     where
-        I: Iterator<Item = &'a &'a str> + Clone,
+        I: Iterator<Item = &'a &'b str> + Clone,
     {
         self.reserve_items(items.copied());
     }