Type macros allow types to be followed by ;

[jonas-schievink]

This compiles:

#![feature(type_macros)]

macro_rules! t {
    () => ( String ; );
}

fn main() {
    let i: Vec<t!()>;
}

I expected this to be rejected, simply because Vec<String;> doesn't parse as a type.