[typetools/checker-framework] c35794: Use proper underlying type (#7791)

[mernstcheckerframework]

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

Changed paths:

Log Message:
-----------
Use proper underlying type (#7791)

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