Skip to content

Issues: jspecify/jspecify-reference-checker

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

28 Open 82 Closed
28 Open 82 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Special case for record equals methods
#210 opened Sep 20, 2024 by cpovirk
Treat Kotlin code as null-unmarked
#209 opened Sep 20, 2024 by cpovirk
Produce errors for annotations in instanceof
#208 opened Sep 20, 2024 by cpovirk
Treat annotation element as intrinsically non-nullable
#207 opened Sep 20, 2024 by cpovirk
Treat Kotlin code as null-unmarked
#205 opened Sep 10, 2024 by cpovirk
main-eisop: Fix new incorrect errors involving wildcards
#200 opened Aug 14, 2024 by cpovirk
28
main-eisop: Identify cases of widened parameter types in overrides again
#199 opened Aug 14, 2024 by cpovirk
main-eisop: Produce errors for unsafe casts to primitive types again
#198 opened Aug 14, 2024 by cpovirk
Conformance-test report not automatically regenerated after jspecify change
#184 opened Jul 9, 2024 by cpovirk
@netdpb
Array subtyping and generics
#180 opened May 14, 2024 by msridhar
5
Unmarked type variables bounds in strict mode
#177 opened Apr 22, 2024 by wmdietl
1
2
conformance-test-framework: handle errors in unexpected locations
#176 opened Apr 17, 2024 by wmdietl
Build race or other flakiness, at least on main-eisop
#167 opened Mar 21, 2024 by cpovirk
Low-priority main-eisop: [type.invalid.super.wildcard] bounds must have the same annotations.
#162 opened Feb 8, 2024 by cpovirk
4
Move code to the proper package
#106 opened Nov 15, 2023 by netdpb
Make jspecify-bot the author of robotic "Update conformance test reports" PRs conformance-tests Framework and implementation for conformance tests
#104 opened Aug 23, 2023 by netdpb
Test the nullness-augmented types of symbols in the classpath conformance-tests Framework and implementation for conformance tests
#99 opened Aug 18, 2023 by netdpb
@netdpb
1
Reject @NullMarked+@NullUnmarked on the same element
#86 opened Jun 6, 2023 by cpovirk
1
Provide a flag to control whether to recognize non-JSpecify annotations
#82 opened May 25, 2023 by cpovirk
Update behavior around substituting Foo? into a usage of an unspec-bounded type variable
#43 opened Apr 25, 2023 by cpovirk
Rebase onto eisop
#30 opened Apr 25, 2023 by cpovirk
1
@wmdietl
1
Update how we print types in error messages
#29 opened Apr 25, 2023 by cpovirk
Document the purpose of the reference checker
#28 opened Apr 25, 2023 by cpovirk
2
Clarify relationship to Checker Framework
#27 opened Apr 25, 2023 by cpovirk
2
Publish to Maven Central
#26 opened Apr 25, 2023 by cpovirk
2
ProTip! Mix and match filters to narrow down what you’re looking for.