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

import org.jetbrains.annotations.*;

class Test {
  void foo(@NotNull String s) {
  }

  void bar(String str) {
    foo(str);
  }
}