macro_rules! ensure_result {
    ([][$ty:ty]) => { ... };
    ([(ensure_forwards_result_if_red) $($rest:tt)*][$ty:ty]) => { ... };
    ([$other:tt $($modifiers:tt)*][$($args:tt)*]) => { ... };
}