← All recipes
Moderne licensed

Add a @Nullable upper bound to a pass-through type parameter fed a null-returning lambda

Recipe IDio.moderne.nullability.AddNullableBoundToPassthroughTypeParameter
Artifactio.moderne.recipe:rewrite-nullability

When a null-returning lambda is passed to a generic method whose single, unbounded type parameter is also its return type (a value pass-through such as <T> T record(String, Supplier<T>)), widen the declaration to <T extends @Nullable Object> so returning null through it is legal under JSpecify/NullAway. Relaxing the upper bound is sound; it never rejects previously-valid code. Only methods declared in the working set, with exactly one unbounded type parameter that is the return type, are changed.

Single recipeProprietary

Usage

This recipe has no required configuration options. You’ll need the Moderne CLI configured before running the command below.

mod run . --recipe io.moderne.nullability.AddNullableBoundToPassthroughTypeParameter

If the recipe isn’t available locally, install it with:

mod config recipes jar install io.moderne.recipe:rewrite-nullability:0.3.1

Data tables

Structured output this recipe can produce.

  • Source files that had resultsSource files that were modified by the recipe run.org.openrewrite.table.SourcesFileResults
  • Source files that had search resultsSearch results that were found during the recipe run.org.openrewrite.table.SearchResults
  • Source files that errored on a recipeThe details of all errors produced by a recipe run.org.openrewrite.table.SourcesFileErrors
  • Recipe performanceStatistics used in analyzing the performance of recipes.org.openrewrite.table.RecipeRunStats