Exception parameters are intrinsically NonNull

jspecify · Apr 25, 2024 · 4528a8f · 4528a8f
1 parent 8989d39
commit 4528a8f
Show file tree

Hide file tree

Showing 4 changed files with 19 additions and 1 deletion.
diff --git a/...rtions/java/org/jspecify/conformance/tests/irrelevantannotations/notnullmarked/Other.java b/...rtions/java/org/jspecify/conformance/tests/irrelevantannotations/notnullmarked/Other.java
@@ -65,6 +65,12 @@ void catchParameters() {
       // test:irrelevant-annotation:NonNull
     } catch (@NonNull RuntimeException e) {
     }
+    try {
+    } catch (RuntimeException e) {
+      // test:name:Intrinsically NonNull exception parameter cannot be assigned null
+      // test:cannot-convert:null? to RuntimeException
+      e = null;
+    }
   }
 
   /**

diff --git a/...ssertions/java/org/jspecify/conformance/tests/irrelevantannotations/nullmarked/Other.java b/...ssertions/java/org/jspecify/conformance/tests/irrelevantannotations/nullmarked/Other.java
@@ -65,6 +65,12 @@ void catchParameters() {
       // test:irrelevant-annotation:NonNull
     } catch (@NonNull RuntimeException e) {
     }
+    try {
+    } catch (RuntimeException e) {
+      // test:name:Intrinsically NonNull exception parameter cannot be assigned null
+      // test:cannot-convert:null? to RuntimeException
+      e = null;
+    }
   }
 
   /**

diff --git a/...ertions/java/org/jspecify/conformance/tests/irrelevantannotations/nullunmarked/Other.java b/...ertions/java/org/jspecify/conformance/tests/irrelevantannotations/nullunmarked/Other.java
@@ -67,6 +67,12 @@ void catchParameters() {
       // test:irrelevant-annotation:NonNull
     } catch (@NonNull RuntimeException e) {
     }
+    try {
+    } catch (RuntimeException e) {
+      // test:name:Intrinsically NonNull exception parameter cannot be assigned null
+      // test:cannot-convert:null? to RuntimeException
+      e = null;
+    }
   }
 
   /**

diff --git a/docs/docs/spec.md b/docs/docs/spec.md
@@ -283,7 +283,6 @@ Additionally, any location above is unrecognized if it makes up *any
 > for the exceptions defined by this section.
 
 -   a local variable type
--   an exception parameter
 -   the type in a cast or `instanceof` expression
 -   an array or object creation expression (including via a member reference)
 -   an explicit type argument supplied to a generic method or constructor
@@ -303,6 +302,7 @@ All locations that are not explicitly listed as recognized are unrecognized.
 >
 > -   supertype in a class declaration
 > -   thrown exception type
+> -   exception parameter type
 > -   enum constant declaration
 > -   receiver parameter type
 >