error: batch-impl: path prefix `#...Other` has a trailing ident that differs from the trait name `MyTrait`; the two must be identical
--> tests/ui/path_prefix_mismatch.rs:13:1
|
13 | #[batch_impl_only(#ext::traits::Other: usize)]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= note: this error originates in the attribute macro `batch_impl_only` (in Nightly builds, run with -Z macro-backtrace for more info)