openide/java/java-tests/testData/inspection/dataFlow/NotNullableParameter2/src/Npe.java

import org.jetbrains.annotations.NotNull;

public class Npe {
   Object foo(@NotNull Object o) {
     if (o == null) {
       // Should not get there.
     }
     return o;
   }
}