"cheri_cheri_perms_and applied to two arguments" error

[peterohanley]

void b(void) {
    const char c;
}

% cn --version
git-c601ccf35-dirty [2024-12-30 16:32:05 -0500]
% cn verify cheri_cheri_perms.c
cheri_cheri_perms.c:1:14: error: File "backend/cn/lib/core_to_mucore.ml", line 631, characters 8-15: cheri_cheri_perms_and applied to 2 arguments
void b(void) {
             ^ 

char c is fine (without const)