Infer

Composite Recipes

Recipes that include further recipes, often including the individual recipes below.

• Compose JSpecify best practices (intra-body nullability inference)
• Infer and add @Nullable annotations

Recipes

• Add @Nullable to a functional-interface return type argument fed a null-returning lambda
• Add @Nullable to array element types that can hold null
• Add @Nullable to collection and map type arguments that hold null elements
• Add @Nullable to fields that can hold null
• Add @Nullable to method parameters that can receive null
• Add @Nullable to methods that can return null
• Add a @Nullable upper bound to a pass-through type parameter fed a null-returning lambda
• Infer Java @Nullable return types from Kotlin call sites
• Propagate @Nullable across override relationships
• Upgrade a lazily-initialized @Nullable field to @MonotonicNonNull