1 2 3 4 5 6 7 8
use batch_impl::batch_impl; // `fn(A) -> B - C`: `-> B` already fills the return type; the trailing `- C` // applies again and must error with guidance (not silently drop the `- C`). #[batch_impl(fn(A) -> B - C)] trait FnReturnReapply {} fn main() {}