The test would be that the compile gives an error when trying to goto into a synchronized block, if I understand this code correctly.