macro_rules! typed_test_case {
    ($a:ident, $b:ident) => { ... };
}