Pull requests: typetools/checker-framework
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Ignore differences in empty statements when parsing ajava files and source files together
#6588
opened May 8, 2024 by
kelloggm
Loading…
Selectively clear information about method call values in lambda expressions
#6560
opened Apr 29, 2024 by
jyoo980
Loading…
Warn when using the top type in a pre- or post-condition annotation
#6412
opened Jan 22, 2024 by
mernst
Loading…
Improve documentation of commonAssignmentCheck and correct overrides
#6347
opened Dec 8, 2023 by
smillst
Loading…
@CreatesMustCallFor create an obligation on exceptional successors
#6221
opened Oct 3, 2023 by
Nargeshdb
Loading…
Update collection-object-parameters-may-be-null for new annotations.
#3549
opened Aug 3, 2020 by
cpovirk
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.