But this is a requirement of the “you must be able to parse source code including macros without having to know how to expand macros” rule. Otherwise how would you know how to parse the following:

  foo!((x))

As

  foo! ( { ( x ) } )

Or

  foo! ( { ( x } ) )

With {} representing the argument to the macro.