Add more generic assert_impl! tests

nvzqz · Dec 30, 2019 · c38c3e8 · c38c3e8
1 parent 3ff1e5f
commit c38c3e8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tests/trait_impl.rs b/tests/trait_impl.rs
@@ -63,6 +63,9 @@ struct Box<T>(T);
 
 assert_impl!(for(T: Clone) Box<T>: Clone);
 assert_impl!(for(T: Clone + Send) Box<T>: Clone & Send);
+assert_impl!(for(T) Box<T>: (From<T>) & (Into<T>));
+
 assert_impl!(for(T) PhantomData<T>: Clone);
 assert_impl!(for(T: Copy) T: Clone);
 assert_impl!(for(T: ?Sized) T: Clone | !Clone);
+assert_impl!(for('a, T: 'a) &'a mut T: !Copy);