For better or worse, other tests for warnings on otherwise successful compiles have been segregated into TestVoltCompilerAnnotationsAndWarnings.java -- this includes examples of deeper pattern match testing (notably missing here) that the warning message is relevant to the intended problem. Maybe this test case should go there.