@value an user macro expansions in ignored @inline*?

[Patrice Dumas]

Hello,

In fact, some issue that could be relevant for @inlineset are also
relevant for other @inline*, when in ignored argument.  To begin with, I
have just noticed that ignored @inlinefmt content still triggers
document-wide side-effects (user macro definition, anchor,
raisesection...), although I made sure that it is not the case
for @inlineraw.  I have to fix that, I can't see why ignored @inlineraw 
wouldn't have side effects, while ignored @inlinefmt would have.

The second issue is about @value and user defined macro expansions.  Is
it really right to have those expanded in ignored @inline*?  What does
TeX do?

-- 
Pat