183     ($($nonzero:ident[$prim:ty]),*) => {
403         ($($atomics:tt [$primitives:ty]),* $(,)?) => {
421         ($($($tyvar:ident)? => $atomic:ty [$prim:ty]),*) => {{
1426             ($($tys:ty),*) => {  in test_impls()
1451 …($ty:ty $(,$tys:ty)* => @success $($success_case:expr),* $(, @failure $($failure_case:expr),*)?) =…  in test_impls()
1452                 impl TryFromBytesTestable for $ty {  in test_impls()
1461 …($($($ty:ty),* => @success $($success_case:expr), * $(, @failure $($failure_case:expr),*)?;)*) => {  in test_impls()
1463 …impl_try_from_bytes_testable!($($ty),* => @success $($success_case),* $(, @failure $($failure_case…  in test_impls()
1670             ($fn_name:ident($ty:ty) $(: $($tys:ty),*)?) => {{  in test_impls()
1676                 let id = TypeId::of::<$ty>();  in test_impls()
1677 …llowlist.contains(&id), "{} is not on allowlist for {}: {:?}", stringify!($ty), stringify!($fn_nam…  in test_impls()
1687             ($ty:ty: TryFromBytes) => {  in test_impls()
1691                 impl AutorefWrapper<$ty> {  in test_impls()
1695                         candidate: Maybe<'ptr, $ty>,  in test_impls()
1698                             test_is_bit_valid_shared($ty):  in test_impls()
1711 …     fn test_try_from_ref<'bytes>(&mut self, _bytes: &'bytes [u8]) -> Option<Option<&'bytes $ty>> {  in test_impls()
1713                             test_try_from_ref($ty):  in test_impls()
1721 …test_try_from_mut<'bytes>(&mut self, _bytes: &'bytes mut [u8]) -> Option<Option<&'bytes mut $ty>> {  in test_impls()
1723                             test_try_from_mut($ty):  in test_impls()
1739                     fn test_try_read_from(&mut self, _bytes: &[u8]) -> Option<Option<&$ty>> {  in test_impls()
1741                             test_try_read_from($ty):  in test_impls()
1753                     fn test_as_bytes(&mut self, _t: &ReadOnly<$ty>) -> Option<&[u8]> {  in test_impls()
1755                             test_as_bytes($ty):  in test_impls()
1779                 <$ty as TryFromBytesTestable>::with_passing_test_cases(|mut val| {  in test_impls()
1794 …    let (mut w, mut ww) = (AutorefWrapper::<$ty>(PhantomData), AutorefWrapper::<$ty>(PhantomData));  in test_impls()
1804 …        assert!(res, "{}::is_bit_valid (shared `Ptr`): got false, expected true", stringify!($ty));  in test_impls()
1813                     let res = <$ty as TryFromBytes>::is_bit_valid(c.reborrow_shared());  in test_impls()
1814 …     assert!(res, "{}::is_bit_valid (exclusive `Ptr`): got false, expected true", stringify!($ty));  in test_impls()
1825 …    assert!(res.is_some(), "{}::try_ref_from_bytes: got `None`, expected `Some`", stringify!($ty));  in test_impls()
1849 …    assert!(res.is_some(), "{}::try_mut_from_bytes: got `None`, expected `Some`", stringify!($ty));  in test_impls()
1855 …   assert!(res.is_some(), "{}::try_read_from_bytes: got `None`, expected `Some`", stringify!($ty));  in test_impls()
1859                 <$ty as TryFromBytesTestable>::with_failing_test_cases(|c| {  in test_impls()
1861                     let mut w = AutorefWrapper::<$ty>(PhantomData);  in test_impls()
1867 …ssert!(res.is_none(), "{}::try_ref_from_bytes({:?}): got Some, expected None", stringify!($ty), c);  in test_impls()
1872 …ssert!(res.is_none(), "{}::try_mut_from_bytes({:?}): got Some, expected None", stringify!($ty), c);  in test_impls()
1878 …sert!(res.is_none(), "{}::try_read_from_bytes({:?}): got Some, expected None", stringify!($ty), c);  in test_impls()
1883                 const _: () = { static_assertions::assert_impl_all!($ty: TryFromBytes); };  in test_impls()
1885             ($ty:ty: $trait:ident) => {  in test_impls()
1887                 const _: () = { static_assertions::assert_impl_all!($ty: $trait); };  in test_impls()
1889             ($ty:ty: !$trait:ident) => {  in test_impls()
1891                 const _: () = { static_assertions::assert_not_impl_any!($ty: $trait); };  in test_impls()
1893             ($ty:ty: $($trait:ident),* $(,)? $(!$negative_trait:ident),*) => {  in test_impls()
1895                     assert_impls!($ty: $trait);  in test_impls()
1899                     assert_impls!($ty: !$negative_trait);  in test_impls()