Skip to content

Pull requests: typetools/checker-framework

New pull request New
56 Open 6,008 Closed
56 Open 6,008 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

Remove redundant emptiness check in getPurityAnnotation
#8156 opened Sep 10, 2026 by mernst Member Loading…
1
Check qualifiers of equality constraints implied by an inference variable's bounds
#8154 opened Sep 9, 2026 by smillst Member Loading…
@smillst
1
Nullness comments
#8153 opened Sep 9, 2026 by mernst Member Loading…
1
Remove unused className and methodName parameters
#8151 opened Sep 9, 2026 by mernst Member Loading…
3
Remove dead code from WholeProgramInferenceScenesStorage
#8150 opened Sep 9, 2026 by mernst Member Loading…
1
Don't record a modified file that has no Scene
#8149 opened Sep 9, 2026 by mernst Member Loading…
1
Document why the WPI write path does not recur into type variables
#8146 opened Sep 9, 2026 by mernst Member Loading…
1
Replace WPI's isNullness name comparison by a type factory hook
#8144 opened Sep 9, 2026 by mernst Member Loading…
1
Don't discard the LUB in updateAtmWithLub
#8143 opened Sep 9, 2026 by mernst Member Loading…
1
Do not pass a null type to asSuper in updateAtmWithLub()
#8142 opened Sep 9, 2026 by mernst Member Loading…
1
Don't accumulate mutations of the returned expression's type in updateFromReturn
#8141 opened Sep 9, 2026 by mernst Member Loading…
1
Hoist loop-invariant work out of the loops in updateContracts
#8138 opened Sep 9, 2026 by mernst Member Loading…
1
Report failed inference when a method has no storage location
#8136 opened Sep 9, 2026 by mernst Member Loading…
1
Stub-based WPI writes records as record declarations
#8133 opened Sep 9, 2026 by mernst Member Loading…
3
Report, rather than ignore, a failure to delete a WPI output file
#8131 opened Sep 9, 2026 by mernst Member Loading…
1
Pass the cause when a UserError reports an I/O failure
#8130 opened Sep 9, 2026 by mernst Member Loading…
3
Make ASceneWrapper annotation-removal methods static
#8128 opened Sep 9, 2026 by mernst Member Loading…
1
Document why removeAnnosFromScene skips declaration annotations
#8127 opened Sep 9, 2026 by mernst Member Loading…
1
Merge SceneToStubWriter.writeImpl into its only caller, write
#8121 opened Sep 9, 2026 by mernst Member Loading…
1
Address minor items in SceneToStubWriter
#8120 opened Sep 9, 2026 by mernst Member Loading…
1
Report compilation errors in WholeProgramInferenceScenesStorageTest
#8117 opened Sep 9, 2026 by mernst Member Loading…
3
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
Check a lambda's body against the purity of the method it implements
#8111 opened Sep 8, 2026 by smillst Member Loading…
@mernst
4
SideEffectFree and lambdas (documentation review)
#8109 opened Sep 8, 2026 by smillst Member • Draft
@mernst
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.