We need at least one more tests here where we have a fully covered switch statement but no default. We would expect to have no violation.