Pull requests: typetools/checker-framework
Pull requests list
Make
properType agree with type.getUnderlyingType()
#7909
opened Aug 4, 2026 by
mernst
Member
Loading…
Convert
assert to either BugInCF or reduction to false
#7901
opened Jul 30, 2026 by
mernst
Member
Loading…
Handle the possibility that no valid parameterization exists
#7899
opened Jul 30, 2026 by
mernst
Member
Loading…
Address alignment between declared and substituted type
#7885
opened Jul 30, 2026 by
mernst
Member
Loading…
The three alternatives of 18.5.2.1 are not mutually exclusive
#7883
opened Jul 30, 2026 by
mernst
Member
Loading…
ProTip!
What’s not been updated in a month: updated:<2026-07-05.