test add

tahiat · Apr 12, 2024 · 8ccc876 · 8ccc876
1 parent f1da5ac
commit 8ccc876
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/specimin/test/Issue3850.java b/specimin/test/Issue3850.java
@@ -0,0 +1,15 @@
+import org.checkerframework.checker.nullness.qual.PolyNull;
+
+class Issue3850 {
+
+ private static Iterable<@PolyNull String> toPos(Iterable<? extends @PolyNull Object> nodes) {
+ // :: error: (return.type.incompatible)
+ return transform(nodes, node -> node == null ? null : node.toString());
+ }
+
+ public static <F, T> Iterable<T> transform(
+ Iterable<? extends F> iterable,
+ java.util.function.Function<? super F, ? extends T> function) {
+ throw new Error("implementation is irrelevant");
+ }
+}