I just noticed for the Info output of the following,
@example
yyyyyyyyyyyyyyyyy@c
x
aaa
bb
@end example,
there is no indent for the line with "x" at all. The output looks like
==================
This is text.info, produced by makeinfo version 5.2dev from text.texi.
yyyyyyyyyyyyyyyyy
x
aaa
bb
Tag Table:
End Tag Table
==================
I would expect this to be the same as
@example
yyyyyyyyyyyyyyyyy
x
aaa
bb
@end example
with the @c removing the following newline. There could also be an
argument for it being the same as
@example
yyyyyyyyyyyyyyyyy
x
aaa
bb
@end example
but I see no way that the indent of the example of the whole should be
removed by a @comment. I haven't investigated why yet.