java/java-tests/testData/inspection/redundantCast/IntToDouble/src/Test.java

class A{
  void f(){
    double d = (double)1 / 5;
  }
}