in printed output, @deffn arguments should use a typewriter font like with @deftypefn

[Vincent Lefevre]

With texinfo.tex 2022-09-01.06, consider

@deffn Command name-min arg-min
@end deffn

@deffn Command name-min @var{arg-min}
@end deffn

In printed output (PDF), name-min is printed in typewriter font
as expected, but arg-min is printed in slanted font instead of
slanted typewriter font (whether @var is used or not).

I think that this is incorrect, and slanted typewriter font should
be used, as already done with @deftypefn.

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)