[typetools/checker-framework] e6302c: Apply the capture dependency rules only to capture...

[Suzanne Millstein]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: e6302cd9c938a0cc7bdf47a2b04214d18022e962
https://github.com/typetools/checker-framework/commit/e6302cd9c938a0cc7bdf47a2b04214d18022e962
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-08-21 (Fri, 21 Aug 2026)

Changed paths:
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/bound/BoundSet.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/bound/CaptureBound.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/CaptureVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/Variable.java
A framework/tests/all-systems/Issue7694.java

Log Message:
-----------
Apply the capture dependency rules only to captured wildcards (#8034)



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