@@ -1977,35 +1977,63 @@ fn slice_index_overflow_fail() -> ! {
19771977 panic ! ( "attempted to index slice up to maximum usize" ) ;
19781978}
19791979
1980+ mod private_slice_index {
1981+ use super :: ops;
1982+ #[ stable( feature = "slice_get_slice" , since = "1.28.0" ) ]
1983+ pub trait Sealed { }
1984+
1985+ #[ stable( feature = "slice_get_slice" , since = "1.28.0" ) ]
1986+ impl Sealed for usize { }
1987+ #[ stable( feature = "slice_get_slice" , since = "1.28.0" ) ]
1988+ impl Sealed for ops:: Range < usize > { }
1989+ #[ stable( feature = "slice_get_slice" , since = "1.28.0" ) ]
1990+ impl Sealed for ops:: RangeTo < usize > { }
1991+ #[ stable( feature = "slice_get_slice" , since = "1.28.0" ) ]
1992+ impl Sealed for ops:: RangeFrom < usize > { }
1993+ #[ stable( feature = "slice_get_slice" , since = "1.28.0" ) ]
1994+ impl Sealed for ops:: RangeFull { }
1995+ #[ stable( feature = "slice_get_slice" , since = "1.28.0" ) ]
1996+ impl Sealed for ops:: RangeInclusive < usize > { }
1997+ #[ stable( feature = "slice_get_slice" , since = "1.28.0" ) ]
1998+ impl Sealed for ops:: RangeToInclusive < usize > { }
1999+ }
2000+
19802001/// A helper trait used for indexing operations.
1981- #[ unstable ( feature = "slice_get_slice" , issue = "35729 " ) ]
2002+ #[ stable ( feature = "slice_get_slice" , since = "1.28.0 " ) ]
19822003#[ rustc_on_unimplemented = "slice indices are of type `usize` or ranges of `usize`" ]
1983- pub trait SliceIndex < T : ?Sized > {
2004+ pub trait SliceIndex < T : ?Sized > : private_slice_index :: Sealed {
19842005 /// The output type returned by methods.
2006+ #[ stable( feature = "slice_get_slice" , since = "1.28.0" ) ]
19852007 type Output : ?Sized ;
19862008
19872009 /// Returns a shared reference to the output at this location, if in
19882010 /// bounds.
2011+ #[ unstable( feature = "slice_index_methods" , issue = "0" ) ]
19892012 fn get ( self , slice : & T ) -> Option < & Self :: Output > ;
19902013
19912014 /// Returns a mutable reference to the output at this location, if in
19922015 /// bounds.
2016+ #[ unstable( feature = "slice_index_methods" , issue = "0" ) ]
19932017 fn get_mut ( self , slice : & mut T ) -> Option < & mut Self :: Output > ;
19942018
19952019 /// Returns a shared reference to the output at this location, without
19962020 /// performing any bounds checking.
2021+ #[ unstable( feature = "slice_index_methods" , issue = "0" ) ]
19972022 unsafe fn get_unchecked ( self , slice : & T ) -> & Self :: Output ;
19982023
19992024 /// Returns a mutable reference to the output at this location, without
20002025 /// performing any bounds checking.
2026+ #[ unstable( feature = "slice_index_methods" , issue = "0" ) ]
20012027 unsafe fn get_unchecked_mut ( self , slice : & mut T ) -> & mut Self :: Output ;
20022028
20032029 /// Returns a shared reference to the output at this location, panicking
20042030 /// if out of bounds.
2031+ #[ unstable( feature = "slice_index_methods" , issue = "0" ) ]
20052032 fn index ( self , slice : & T ) -> & Self :: Output ;
20062033
20072034 /// Returns a mutable reference to the output at this location, panicking
20082035 /// if out of bounds.
2036+ #[ unstable( feature = "slice_index_methods" , issue = "0" ) ]
20092037 fn index_mut ( self , slice : & mut T ) -> & mut Self :: Output ;
20102038}
20112039
0 commit comments