Skip to content

Pull requests: typetools/checker-framework

New pull request New
39 Open 5,936 Closed
39 Open 5,936 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

Avoid redundant work in ValueQualifierHierarchy's LUB/GLB
#8069 opened Aug 28, 2026 by smillst Member Loading…
5
Key SubtypeVisitHistory by reference identity, not structural equality
#8068 opened Aug 28, 2026 by smillst Member Loading…
1
1
Update plugin com-diffplug-spotless to v8.10.1
#8067 opened Aug 28, 2026 by renovate Bot Loading…
1 task
Make AnnotatedTypeMirror.hashCode() consistent with equals()
#8066 opened Aug 27, 2026 by smillst Member Loading…
3
Update actions/setup-java action to v6
#8065 opened Aug 27, 2026 by renovate Bot Loading…
1 task
Clear SubtypeVisitHistory after each outermost isSubtype call
#8064 opened Aug 26, 2026 by smillst Member Loading…
3
Scan nodeList backward in CFGTranslationPhaseOne.insertExtendedNodeAfter
#8063 opened Aug 26, 2026 by smillst Member Loading…
@mernst
1
Don't invent a hashing function.
#8062 opened Aug 26, 2026 by smillst Member Loading…
@mernst
1
Correctly handle inferring the type arguments of ReferenceType :: Identifier where ReferenceType is raw
#8061 opened Aug 26, 2026 by smillst Member Loading…
1
@mernst
3
Do not run outer inference for a call on a raw type
#8058 opened Aug 25, 2026 by smillst Member Loading…
2
@mernst
3
Don't collect returns from a class declared in a lambda body
#8057 opened Aug 25, 2026 by smillst Member Loading…
1
@mernst
4
Fix crash in AnnotatedDeclaredType#getErased().
#8051 opened Aug 24, 2026 by smillst Member Loading…
1
@mernst
1
Type inference: do not apply theta to the type of a lambda parameter
#8049 opened Aug 24, 2026 by smillst Member Loading…
1
@mernst
3
Support IntelliJ IDEA external annotations (annotations.xml); fixes #6258
#8045 opened Aug 23, 2026 by ceasermikes002 Loading…
1 task done
24
Check @SideEffectsOnly on overrides and method references
#8040 opened Aug 21, 2026 by mernst Member Loading…
1
Check a method body against its @SideEffectsOnly annotation
#8039 opened Aug 21, 2026 by mernst Member Loading…
1
Resolution side-effects the bound set rather than returning a new one
#7987 opened Aug 14, 2026 by mernst Member Loading…
8
Type inference: an equality constraint between proper types compares qualifiers
#7985 opened Aug 14, 2026 by mernst Member Loading…
1
@smillst
7
@SideEffectsOnly annotation
#7818 opened Jul 12, 2026 by mernst Member Loading…
92
Add javac equivalent class for AnnotationEqualityVisitor
#7692 opened May 4, 2026 by avenger2597 Contributor Loading…
@avenger2597
19
RLC extension for resource collection
#7602 opened Mar 31, 2026 by iamsanjaymalakar Member Loading…
@iamsanjaymalakar
327
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
Fix: Report unboxing.of.nullable in conditional expressions with primitive result
#7433 opened Jan 3, 2026 by Suvrat1629 Loading…
1
@Suvrat1629
9
ProTip! Type g i on any issue or pull request to go back to the issue listing page.