[typetools/checker-framework] fb277e: Minor improvements

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: fb277eb98fcd9e65d43b9aea4c5dd1e3eaff45ef
https://github.com/typetools/checker-framework/commit/fb277eb98fcd9e65d43b9aea4c5dd1e3eaff45ef
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2024-05-18 (Sat, 18 May 2024)

Changed paths:
M docs/manual/advanced-features.tex
M docs/manual/creating-a-checker.tex
M docs/manual/introduction.tex
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeChecker.java
M framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java
M framework/src/main/java/org/checkerframework/framework/type/poly/AbstractQualifierPolymorphism.java

Log Message:
-----------
Minor improvements



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