Do you mean both normal idents and lifetimes are ident
?
So, something like this is a valid macro definition and use
macro m($actually_expects_ident: ident, $actually_expects_lifetime: ident) {
fn $actually_expects_ident<$actually_expects_lifetime>() -> &$actually_expects_lifetime u8 { panic!() }
}
m!(i, 'lt);
, if wrong kind of ident is passed, then it's reported during or after expansion
m!(i, j); // ERROR expected a lifetime identifier, not normal identifier in `&$actually_expects_lifetime u8`
, and hygiene opt-out still looks like #'ident
?