allow unsized types in `RangeArgument`

1 files changed, 19 insertions, 1 deletions

diff --git a/src/libcollections/range.rs b/src/libcollections/range.rs
index 0326b92203a..1fa634362cf 100644
--- a/src/libcollections/range.rs
+++ b/src/libcollections/range.rs
@@ -73,7 +73,7 @@ pub trait RangeArgument<T: ?Sized> {
 
 // FIXME add inclusive ranges to RangeArgument
 
-impl<T> RangeArgument<T> for RangeFull {}
+impl<T: ?Sized> RangeArgument<T> for RangeFull {}
 
 impl<T> RangeArgument<T> for RangeFrom<T> {
     fn start(&self) -> Bound<&T> {
@@ -113,3 +113,21 @@ impl<T> RangeArgument<T> for (Bound<T>, Bound<T>) {
         }
     }
 }
+
+impl<'a, T: ?Sized + 'a> RangeArgument<T> for (Bound<&'a T>, Bound<&'a T>) {
+    fn start(&self) -> Bound<&T> {
+        match *self {
+            (Included(start), _) => Included(start),
+            (Excluded(start), _) => Excluded(start),
+            (Unbounded, _)       => Unbounded,
+        }
+    }
+
+    fn end(&self) -> Bound<&T> {
+        match *self {
+            (_, Included(end)) => Included(end),
+            (_, Excluded(end)) => Excluded(end),
+            (_, Unbounded)     => Unbounded,
+        }
+    }
+}