Ah thank you. Someone responded and made a new thread and were super helpful as well. It seems like this warning needs to go to new consumers but not in the core. Would it be appropriate for the declare statement to somehow tell the compiler that we are in the core and therefore to suppress warnings of this type? One suggestion was to add the recursive call into a (with-no-warnings ...) call, but this could get tedious and invasive.
Perhaps there could be a list of ignorable warnings that could be suppressed when in the core?