plausibility checking in the linter

[kohlhase]

It would be very good to give warnings for

• \symref{foo} , i.e. for a missing argument (\symref takes two)
• \symname{foo}{bar}, i.e. this should probably be a \symname
• ... I am sure that there are more, I will use this issue to collect them. ...

[Jazzpirate]

Let me make this more concrete:

1. The linter already checks that \symref takes two arguments. So it would probably be better to insist that both arguments should be braced?
2. This is more tricky - a check that after a \symname, no braced group follows?

[kohlhase]

1. probably, the most important case is where the second argument is the token
2. yes.

[kohlhase]

and there should be a warning message with distinctive name, so that I can filter for that in the errors.

[kohlhase]

Let me upvote this issue. I keep finding errors of the type 2. which such a warning would prevent.