macro_rules! impl_neg { ($(@($($params:tt)+):)? $l:ty => $o:ty $(where $($bounds:tt)+)?) => { ... }; }