field may be final: ignore throw clause when field was not assigned (IDEA-96018)

plugins/InspectionGadgets/src/com/siyeh/ig/psiutils/FinalUtils.java

@@ -630,8 +630,9 @@ public class FinalUtils {
     }
 
     private void satisfyVacuously() {
-      definitelyAssigned = true;
-      definitelyUnassigned = true;
+      if (definitelyAssigned) {
+        definitelyUnassigned = true;
+      }
     }
 
     private static boolean isPrePostFixExpression(

plugins/InspectionGadgets/test/com/siyeh/igtest/style/field_final/FieldMayBeFinal.java

@@ -398,4 +398,21 @@ class Q implements Iterator<String> {
     public void remove() {
             throw new UnsupportedOperationException();
 }
+}
+class R {
+  private static final String someStaticStuff;
+  static {
+    try {
+      someStaticStuff = "";
+    }
+    catch (Exception e) {
+      throw new RuntimeException(e);
+    }
+  }
+
+  private String someInjectedStuff;
+
+  public String getSomeInjectedStuff() {
+    return someInjectedStuff;
+  }
 }