Skip to content

Pull requests: typetools/checker-framework

New pull request New
38 Open 6,131 Closed
38 Open 6,131 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update Gradle to v9.8.0-rc-3
#8267 opened Sep 23, 2026 by renovate Bot Loading…
1 task
Make the Purity Checker always pass -AcheckPurityAnnotations
#8264 opened Sep 22, 2026 by smillst Member Loading…
@smillst
3
Make checkPurity pass for javacutils.
#8262 opened Sep 22, 2026 by smillst Member Loading…
@smillst
1
Return the receiver rather than a boolean
#8260 opened Sep 22, 2026 by mernst Member Loading…
1
Unit-test name resolution for unnameable classes and non-canonical names
#8248 opened Sep 22, 2026 by mernst Member Loading…
3
Resolve a name that names a type variable, and use the bound when deciding relevance
#8246 opened Sep 22, 2026 by mernst Member Loading…
1
Speed up merging dataflow stores
#8243 opened Sep 22, 2026 by mernst Member Loading…
3
Collapse the purity.not.* message-key variants into purity.*
#8242 opened Sep 21, 2026 by mernst Member Loading…
@smillst
1
Add the Modifiability Checker
#8234 opened Sep 20, 2026 by YukiYang31 Contributor Loading…
11
Compute a correct JVML descriptor for a type variable
#8225 opened Sep 19, 2026 by mernst Member Loading…
23
Memoize the default qualifiers that apply to a scope
#8216 opened Sep 19, 2026 by mernst Member Loading…
3
Check type parameter bounds on override
#8212 opened Sep 19, 2026 by mernst Member Loading…
1
Use a type variable's upper bound when deciding relevance
#8208 opened Sep 18, 2026 by mernst Member Loading…
8
Check functional-interface arguments of side-effect-free methods
#8204 opened Sep 17, 2026 by smillst Member Loading…
@smillst
14
Don't write irrelevant annotations in .ajava files
#8177 opened Sep 15, 2026 by mernst Member Loading…
18
Check a constructor's purity against its class's instance initializers
#8113 opened Sep 8, 2026 by smillst Member Loading…
@smillst
4
Permit a constructor to write an element of an array that it owns
#8112 opened Sep 8, 2026 by smillst Member Loading…
@smillst
5
Enforce @TargetLocations; fixes #8042
#8084 opened Sep 3, 2026 by w3lld1 Loading…
1
@w3lld1
11
Ensure soundness of StructuralEqualityComparer
#8071 opened Aug 29, 2026 by junho0831 Loading…
1
@junho0831
4
Support IntelliJ IDEA external annotations (annotations.xml); fixes #6258
#8045 opened Aug 23, 2026 by ceasermikes002 Loading…
1 task done
@mernst
44
Check @SideEffectsOnly on overrides and method references
#8040 opened Aug 21, 2026 by mernst Member Loading…
13
RLC extension for resource collection
#7602 opened Mar 31, 2026 by iamsanjaymalakar Member Loading…
@iamsanjaymalakar
333
Add Resource Leak Checker tests for JDBC and RowSet resource types
#7480 opened Feb 6, 2026 by parameshn Loading…
@parameshn
21
Fix false-negative when overriding method type-parameter bounds
#7467 opened Jan 30, 2026 by Suvrat1629 Loading…
1
6
Filter dependent type annotations referencing out-of-scope local vari…
#7448 opened Jan 19, 2026 by shubhamk0205 Contributor Loading…
@shubhamk0205
15
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.