Comment (by Roland Haas):

oh no. this is an enhancement request, not a review request. Ie a note that this might be good to have and suggestion that anyone who feel inclined to implement this could find themselves with an appreciative audience.

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2418/have-declare_cctk_arguments_checked-hide