[typetools/checker-framework] 31c070: Nullness: handle nullable results in typeinference...

[Suzanne Millstein]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 31c0700340cfba824bc9847ec663734ff8b55949
https://github.com/typetools/checker-framework/commit/31c0700340cfba824bc9847ec663734ff8b55949
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-10-02 (Fri, 02 Oct 2026)

Changed paths:
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/DefaultTypeArgumentInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InferenceResult.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InvocationTypeInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/bound/CaptureBound.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Expression.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/TypeConstraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Typing.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractInvocationType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AnnotatedContainsInferenceVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceFactory.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/UseOfVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/VariableBounds.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Java8InferenceContext.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Resolution.java

Log Message:
-----------
Nullness: handle nullable results in typeinference8 (#8311)



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications