From f6cb85bfc3165b509a24e7ff2ad12f185c70c01f Mon Sep 17 00:00:00 2001
From: Chris Povirk <cpovirk@google.com>
Date: Wed, 5 Aug 2020 17:14:02 -0400
Subject: [PATCH] Annotate InvocationHandler for nullness.

---
 .../share/classes/java/lang/reflect/InvocationHandler.java  | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/java.base/share/classes/java/lang/reflect/InvocationHandler.java b/src/java.base/share/classes/java/lang/reflect/InvocationHandler.java
index c35e460ea817f..88da948d863f4 100644
--- a/src/java.base/share/classes/java/lang/reflect/InvocationHandler.java
+++ b/src/java.base/share/classes/java/lang/reflect/InvocationHandler.java
@@ -25,6 +25,9 @@
 
 package java.lang.reflect;
 
+import org.checkerframework.framework.qual.AnnotatedFor;
+import org.checkerframework.checker.nullness.qual.Nullable;
+
 /**
  * {@code InvocationHandler} is the interface implemented by
  * the <i>invocation handler</i> of a proxy instance.
@@ -38,6 +41,7 @@
  * @see         Proxy
  * @since       1.3
  */
+@AnnotatedFor({"nullness"})
 public interface InvocationHandler {
 
     /**
@@ -90,6 +94,6 @@ public interface InvocationHandler {
      *
      * @see     UndeclaredThrowableException
      */
-    public Object invoke(Object proxy, Method method, Object[] args)
+    public Object invoke(Object proxy, Method method, @Nullable Object @Nullable [] args)
         throws Throwable;
 }