Restore remaining uses of #![feature(associated_type_bounds)]

Signed-off-by: Nick Spinale <[email protected]>
seL4 · May 2, 2024 · dfa2d8f · dfa2d8f
1 parent b2630f3
commit dfa2d8f
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 27 deletions.
diff --git a/crates/sel4-async/block-io/src/lib.rs b/crates/sel4-async/block-io/src/lib.rs
@@ -213,10 +213,7 @@ impl<T> NextBlockSizeAdapter<T> {
     wrapper_methods!(T);
 }
 
-impl<T: BlockIOLayout> BlockIOLayout for NextBlockSizeAdapter<T>
-where
-    T::BlockSize: HasNextBlockSize,
-{
+impl<T: BlockIOLayout<BlockSize: HasNextBlockSize>> BlockIOLayout for NextBlockSizeAdapter<T> {
     type Error = T::Error;
 
     type BlockSize = <T::BlockSize as HasNextBlockSize>::NextBlockSize;
@@ -232,10 +229,7 @@ where
     }
 }
 
-impl<T: BlockIO<A>, A: Access> BlockIO<A> for NextBlockSizeAdapter<T>
-where
-    T::BlockSize: HasNextBlockSize,
-{
+impl<T: BlockIO<A, BlockSize: HasNextBlockSize>, A: Access> BlockIO<A> for NextBlockSizeAdapter<T> {
     async fn read_or_write_blocks(
         &self,
         start_block_idx: u64,
@@ -261,10 +255,7 @@ impl<T> PrevBlockSizeAdapter<T> {
     wrapper_methods!(T);
 }
 
-impl<T: BlockIOLayout> BlockIOLayout for PrevBlockSizeAdapter<T>
-where
-    T::BlockSize: HasPrevBlockSize,
-{
+impl<T: BlockIOLayout<BlockSize: HasPrevBlockSize>> BlockIOLayout for PrevBlockSizeAdapter<T> {
     type Error = T::Error;
 
     type BlockSize = <T::BlockSize as HasPrevBlockSize>::PrevBlockSize;
@@ -278,9 +269,8 @@ where
     }
 }
 
-impl<T: BlockIO<A>, A: ReadAccess> BlockIO<A> for PrevBlockSizeAdapter<T>
-where
-    T::BlockSize: HasPrevBlockSize,
+impl<T: BlockIO<A, BlockSize: HasPrevBlockSize>, A: ReadAccess> BlockIO<A>
+    for PrevBlockSizeAdapter<T>
 {
     async fn read_or_write_blocks(
         &self,

diff --git a/crates/sel4-backtrace/embedded-debug-info/cli/src/bin/sel4-embed-debug-info.rs b/crates/sel4-backtrace/embedded-debug-info/cli/src/bin/sel4-embed-debug-info.rs
@@ -61,12 +61,10 @@ fn main() -> Result<(), io::Error> {
     fs::write(out_elf_path, out_elf)
 }
 
-fn with_bit_width<T>(image_elf: &[u8], content: &[u8]) -> Vec<u8>
-where
-    T: FileHeaderExt,
-    T::Word: PrimInt,
-    T::Sword: PrimInt,
-{
+fn with_bit_width<T: FileHeaderExt<Word: PrimInt, Sword: PrimInt>>(
+    image_elf: &[u8],
+    content: &[u8],
+) -> Vec<u8> {
     let content_len = NumCast::from(content.len()).unwrap();
     let mut input = Input::<T>::default();
     input.symbolic_injections.push(SymbolicInjection {

diff --git a/crates/sel4-shared-ring-buffer/bookkeeping/src/slot_tracker.rs b/crates/sel4-shared-ring-buffer/bookkeeping/src/slot_tracker.rs
@@ -69,9 +69,7 @@ impl<T: SlotStateTypes> SlotTracker<T> {
 
     pub fn new_with_capacity(common: T::Common, free: T::Free, capacity: usize) -> Self
     where
-        T: SlotStateTypes,
-        T::Common: Clone,
-        T::Free: Clone,
+        T: SlotStateTypes<Common: Clone, Free: Clone>,
     {
         Self::new(iter::repeat((common, free)).take(capacity))
     }
@@ -96,9 +94,7 @@ impl<T: SlotStateTypes> SlotTracker<T> {
         capacity: usize,
     ) -> Self
     where
-        T: SlotStateTypes,
-        T::Common: Clone,
-        T::Occupied: Clone,
+        T: SlotStateTypes<Common: Clone, Occupied: Clone>,
     {
         Self::new_occupied(iter::repeat((common, occupied)).take(capacity))
     }