[typetools/checker-framework] 63b2c5: Copy-edit

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 63b2c5679839953ace483fe89614357cd02a8b15
https://github.com/typetools/checker-framework/commit/63b2c5679839953ace483fe89614357cd02a8b15
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-07-05 (Sun, 05 Jul 2026)

Changed paths:
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/TypeArgumentInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/bound/BoundSet.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/AdditionalArgument.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Constraint.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/ConstraintSet.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/QualifierTyping.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/ReductionResult.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/AbstractExecutableType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractQualifier.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/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/ProperType.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/Variable.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/CheckedExceptionsUtil.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/FalseBoundException.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Resolution.java

Log Message:
-----------
Copy-edit



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