It would make sense to change these to `check:static void [...]zzz([...]);` which would also solve #12787.