114     /// #[derive(SplitAt, FromBytes, KnownLayout, Immutable)]
132     /// // Use the `Immutable` bound on `Packet` to prove that it's okay to
314     /// Produces the split parts of `self`, using [`Immutable`] to ensure that
323     /// #[derive(SplitAt, FromBytes, KnownLayout, Immutable)]
341     /// // Use the `Immutable` bound on `Packet` to prove that it's okay to
371         T: Immutable,  in via_immutable()  argument
386     /// #[derive(SplitAt, FromBytes, KnownLayout, Immutable, IntoBytes)]
435     /// #[derive(SplitAt, FromBytes, KnownLayout, Immutable, Unaligned)]
480     /// Note that this check is overly conservative if `T` is [`Immutable`]; for
490     /// #[derive(SplitAt, FromBytes, KnownLayout, Immutable, Debug)]
529     /// // Although the left and right parts indeed overlap, the `Immutable`
838     /// Produces the split parts of `self`, using [`Immutable`] to ensure that
843         T: Immutable,  in via_immutable()  argument
846         // SAFETY: `Aliasing = Shared` and `T: Immutable`.  in via_immutable()
958         use crate::{FromBytes, Immutable, IntoBytes, KnownLayout, SplitAt};  in test_split_at()
960         #[derive(FromBytes, KnownLayout, SplitAt, IntoBytes, Immutable, Debug)]  in test_split_at()
1005         use crate::{FromBytes, Immutable, IntoBytes, KnownLayout, SplitAt};  in test_split_at_overlapping()
1007         #[derive(FromBytes, KnownLayout, SplitAt, Immutable)]  in test_split_at_overlapping()
1051         use crate::{FromBytes, Immutable, IntoBytes, KnownLayout, SplitAt};  in test_split_at_via_methods()
1052         #[derive(FromBytes, KnownLayout, SplitAt, IntoBytes, Immutable, Debug)]  in test_split_at_via_methods()
1074         use crate::{FromBytes, Immutable, IntoBytes, KnownLayout, SplitAt, Unaligned};  in test_split_at_via_unaligned()
1075         #[derive(FromBytes, KnownLayout, SplitAt, IntoBytes, Immutable, Unaligned)]  in test_split_at_via_unaligned()