[typetools/checker-framework] 5cc3a3: Code review

[mernstcheckerframework]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 5cc3a3afbc9ef80bc1dda03b3cd52d794cafc7a6
https://github.com/typetools/checker-framework/commit/5cc3a3afbc9ef80bc1dda03b3cd52d794cafc7a6
Author: mernstcheckerframework <61880733+mernst...@users.noreply.github.com>
Date: 2026-07-04 (Sat, 04 Jul 2026)

Changed paths:
M framework/src/main/java/org/checkerframework/common/value/ValueCheckerUtils.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeMirror.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeParameterBounds.java
M framework/src/main/java/org/checkerframework/framework/type/AsSuperVisitor.java
M framework/src/main/java/org/checkerframework/framework/type/BoundsInitializer.java
M framework/src/main/java/org/checkerframework/framework/type/DeclarationsIntoElements.java
M framework/src/main/java/org/checkerframework/framework/type/DefaultAnnotatedTypeFormatter.java
M framework/src/main/java/org/checkerframework/framework/type/DefaultTypeHierarchy.java
M framework/src/main/java/org/checkerframework/framework/type/ElementAnnotationApplier.java
M framework/src/main/java/org/checkerframework/framework/type/ElementQualifierHierarchy.java
M framework/src/main/java/org/checkerframework/framework/type/EqualityAtmComparer.java
M framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/framework/type/HashcodeAtmVisitor.java
M framework/src/main/java/org/checkerframework/framework/type/MostlyNoElementQualifierHierarchy.java
M framework/src/main/java/org/checkerframework/framework/type/QualifierHierarchy.java
M framework/src/main/java/org/checkerframework/framework/type/QualifierUpperBounds.java
M framework/src/main/java/org/checkerframework/framework/type/StructuralEqualityComparer.java
M framework/src/main/java/org/checkerframework/framework/type/SubtypeIsSubsetQualifierHierarchy.java
M framework/src/main/java/org/checkerframework/framework/type/SubtypeIsSupersetQualifierHierarchy.java
M framework/src/main/java/org/checkerframework/framework/type/SubtypeVisitHistory.java
M framework/src/main/java/org/checkerframework/framework/type/SupertypeFinder.java
M framework/src/main/java/org/checkerframework/framework/type/TypeFromExpressionVisitor.java
M framework/src/main/java/org/checkerframework/framework/type/TypeFromMemberVisitor.java
M framework/src/main/java/org/checkerframework/framework/type/TypeFromTypeTreeVisitor.java
M framework/src/main/java/org/checkerframework/framework/type/TypeHierarchy.java
M javacutil/src/main/java/org/checkerframework/javacutil/AnnotationBuilder.java
M javacutil/src/main/java/org/checkerframework/javacutil/AnnotationUtils.java
M javacutil/src/main/java/org/checkerframework/javacutil/TypeAnnotationUtils.java

Log Message:
-----------
Code review

Co-authored-by: Michael Ernst <mer...@cs.washington.edu>



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