macro_rules! statement { ($pos:literal, $stmt:expr, $infcx:expr, $env:expr, $span:expr, $checker:expr) => { ... }; }