[typetools/checker-framework] 2c7056: Correct wildcard defaulting

[Suzanne Millstein]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 2c7056b5ffb6f42fceb1d3c056944fc6d4d4623c
https://github.com/typetools/checker-framework/commit/2c7056b5ffb6f42fceb1d3c056944fc6d4d4623c
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-10-31 (Fri, 31 Oct 2025)

Changed paths:
A checker/tests/nullness/Issue7346.java
M framework/src/main/java/org/checkerframework/framework/type/typeannotator/PropagationTypeAnnotator.java

Log Message:
-----------
Correct wildcard defaulting



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