IDEA-95437 (separate rethrow types/data flow analysis)

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlighting7/PreciseRethrow.java

@@ -2,6 +2,7 @@ class C {
   static class E extends Exception { }
   static class E1 extends E { }
   static class E2 extends E { }
+  static class Err extends Error { }
 
   void m0() {
     try {
@@ -156,15 +157,59 @@ class C {
     }
   }
 
+  void m11_1() {
+    try {
+      System.out.println();
+    }
+    catch (Exception e) {
+      throw e;
+    }
+  }
+
+  void m11_2() {
+    try {
+      System.out.println();
+    }
+    catch (Error e) {
+      throw e;
+    }
+  }
+
+  void m11_3() {
+    try {
+      System.out.println();
+    }
+    catch (Err e) {
+      throw e;
+    }
+  }
+
+  void m11_4() {
+    try {
+      if (false) throw new RuntimeException();
+    }
+    catch (Exception e) {
+      throw e;
+    }
+  }
+
+  /*void m11() {
+    try {
+      System.out.println();
+    }
+    catch (Exception e) {
+      throw e;
+    }
+  }
+
   void m11() {
     try {
       System.out.println();
     }
     catch (Exception e) {
-      // test for precise types calculation fix
-      <error descr="Unhandled exception: java.lang.Exception">throw e;</error>
+      throw e;
     }
-  }
+  }*/
 
   static class MyResource implements AutoCloseable {
     public void close() throws E1 { }