openide/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/quickFix/addAssert/afterFieldInitializer.java

// "Assert 'myFoo != null'" "true"
class A{
  private final String myFoo = Math.random() > 0.5 ? "" : null;
  String myBar;

    {
        assert myFoo != null;
        myBar = myFoo.substring(0);
    }
}