Actually test that hasExtraParameterForEnclosingInstance works.

It does, but I got confused in #4225.

PiperOrigin-RevId: 594123682

Author: cpovirk

core/src/test/java/com/google/errorprone/bugpatterns/nullness/NullArgumentForNonNullParameterTest.java

@@ -218,4 +218,22 @@ public void negativeNullMarkedTypeVariable() {
             "}")
         .doTest();
   }
+
+  @Test
+  public void negativePrimitiveButEnclosingClass() {
+    conservativeHelper
+        .addSourceLines(
+            "Foo.java",
+            "import java.util.Optional;",
+            "class Foo {",
+            "  class Bar {",
+            "    Bar(int i) {}",
+            "  }",
+            "  void foo(Optional<Integer> o) {",
+            // It would be nice to catch this, but for now, at least, we don't.
+            "    new Bar(o.orElse(null));",
+            "  }",
+            "}")
+        .doTest();
+  }
 }