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

// "Assert 'container != null'" "true-preview"
class A{
  void test(){
    Integer container = Math.random() > 0.5 ? null : 1.0;
    int i = 0;
      assert container != null;
      for (int limit = container.intValue(); i < limit; i++){}
  }
}