File tree Expand file tree Collapse file tree 1 file changed +4
-6
lines changed Expand file tree Collapse file tree 1 file changed +4
-6
lines changed Original file line number Diff line number Diff line change @@ -605,13 +605,11 @@ impl<T, const N: usize> ArrayExt<T> for [T; N] {
605
605
/// # Safety
606
606
///
607
607
/// `ArrayType` MUST be an array with a number of elements exactly equal to
608
- /// [`Unsigned::USIZE`].
608
+ /// [`Unsigned::USIZE`]. Breaking this requirement will cause undefined behavior.
609
609
///
610
- /// Failure to so will cause undefined behavior.
611
- ///
612
- /// NOTE: do not implement this trait yourself. It is implemented for types in
613
- /// [`typenum::consts`].
614
- pub unsafe trait ArraySize : Unsigned + ' static {
610
+ /// NOTE: This trait is effectively sealed and can not be implemented by third-party crates.
611
+ /// It is implemented only for a number of types defined in [`typenum::consts`].
612
+ pub unsafe trait ArraySize : Unsigned {
615
613
/// Array type which corresponds to this size.
616
614
type ArrayType < T > : ArrayExt < T > + AsRef < [ T ] > + AsMut < [ T ] > + IntoArray < T > + IntoIterator < Item = T > ;
617
615
}
You can’t perform that action at this time.
0 commit comments