[typetools/checker-framework] 86260a: Throw `UserError` if `--atfCacheSize` is non-positive

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 86260a952b9bf0ba129abcf68cbd11c20d6a5558
https://github.com/typetools/checker-framework/commit/86260a952b9bf0ba129abcf68cbd11c20d6a5558
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-11-14 (Fri, 14 Nov 2025)

Changed paths:
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java

Log Message:
-----------
Throw `UserError` if `--atfCacheSize` is non-positive



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