[typetools/checker-framework] a48614: Code review

[mernstcheckerframework]

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

Changed paths:
M framework/src/main/java/org/checkerframework/framework/util/AtmLubVisitor.java
M framework/src/main/java/org/checkerframework/framework/util/DefaultQualifierKindHierarchy.java
M framework/src/main/java/org/checkerframework/framework/util/TypeArgumentMapper.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