java/java-tests/testData/codeInsight/nullityinferrer/afterParameterPassed2NotNull.java

   1 import org.jetbrains.annotations.*;
   2
   3 class Test {
   4   void foo(@NotNull String s) {
   5   }
   6
   7   void bar(@NotNull String str) {
   8     foo(str);
   9   }
  10 }