java/java-tests/testData/inspection/dataFlow/NullableProblemThroughCast/src/Npe.java

import org.jetbrains.annotations.Nullable;

public class Npe {
  
  void foo(@Nullable SomeInterface x) {
    ((SomeInterfaceImpl)x).bar();
  }

  interface SomeInterface {
    void bar();
  }

  class SomeInterfaceImpl implements SomeInterface {
    @Override
    public void bar() {
    }
  }
}