Note the difference between this fixtype,
with a question mark in amb?,
and the fixtype amb-declor/absdeclor.
The latter captures definitely ambiguous constructs
that may be declarators or abstract declarators.
In contrast, this fixtype includes constructs that are
either just declarators,
or just abstract declarators,
or ambiguous ones.