## What is the smallest, simplest way to reproduce the problem? <!-- Sometimes the logs indicate a recipe stumbled over a particular pattern of code. If you can share a code snippet that reproduces the issue, that will help us fix it faster. We also accept [pull requests that merely replicate an issue](https://github.com/openrewrite/.github/blob/main/CONTRIBUTING.md#contributing-fixes), as a step up to a full fix. A code snippet can be something simple like this, or similar for other languages: --> ```java import java.util.Collections; class A { void foo( { Collections.singletonList(null); } } ``` ## What did you expect to see? <!-- A code snippet, or a description of the behavior you expected helps us write a test to ensure the issue is fixed. --> ```java import java.util.Collections; class A { void foo( { Collections.singletonList(null); } } ``` ## What did you see instead? <!-- A code snippet, or a description of the behavior you saw instead of the above expected result. --> ```java class A { void foo( { List.of(null); } } ``` Really this should be any provably null or if conservative only provably non-null. This is a problem because singleList allows null element. https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/util/List.html#of(E) https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/util/Collections.html#singletonList(T) ## Are you interested in [contributing a fix to OpenRewrite](https://github.com/openrewrite/.github/blob/main/CONTRIBUTING.md#contributing-fixes)? <!-- Indicate if this is something you would like to work on, and how we can best support you in doing so. -->