test of Void without @nullable

msridhar · msridhar · commit 4babffe726de · 2026-02-17T18:36:58.000-08:00
diff --git a/nullaway/src/test/java/com/uber/nullaway/jspecify/GenericDiamondTests.java b/nullaway/src/test/java/com/uber/nullaway/jspecify/GenericDiamondTests.java
@@ -36,6 +36,8 @@ void testNegative() {
               void testPositive() {
                 // BUG: Diagnostic contains: incompatible types: Foo<@Nullable String> cannot be converted to Foo<String>
                 Bar<String> b = new Bar<>(Foo.makeNullableStr());
+                // BUG: Diagnostic contains: incompatible types: Foo<@Nullable Void> cannot be converted to Foo<Void>
+                Bar<Void> b2 = new Bar<>(Foo.make());
               }
             }
             """)

Original file line number	Diff line number	Diff line change
`@@ -36,6 +36,8 @@ void testNegative() {`
`36`	`36`	`void testPositive() {`
`37`	`37`	`// BUG: Diagnostic contains: incompatible types: Foo<@Nullable String> cannot be converted to Foo<String>`
`38`	`38`	`Bar<String> b = new Bar<>(Foo.makeNullableStr());`
	`39`	`+ // BUG: Diagnostic contains: incompatible types: Foo<@Nullable Void> cannot be converted to Foo<Void>`
	`40`	`+ Bar<Void> b2 = new Bar<>(Foo.make());`
`39`	`41`	`}`
`40`	`42`	`}`
`41`	`43`	`""")`