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

import org.jetbrains.annotations.*;

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

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