1 2 3 4 5 6 7 8
import org.aspectj.testing.Tester; public class AssertsCF2 { public static void main(String[] args) { String s; assert true: s; //ERR: s might not be assigned } }