Skip to content

Issues: jspecify/jspecify

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

112 Open 219 Closed
112 Open 219 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

Cover elements in implementation code in "Augmented type of a type usage appearing in code" specification Issues with or changes to the specification
#661 opened Sep 24, 2024 by cpovirk
Should Class<?> in an annotation element mean <? extends @Nullable Object> or <? extends @NonNull Object>? specification Issues with or changes to the specification
#659 opened Sep 23, 2024 by cpovirk
5
Consider alternative type notation for the spec specification Issues with or changes to the specification
#658 opened Sep 20, 2024 by cpovirk
Rename "nullness subtyping" to "root subtyping" or something better? specification Issues with or changes to the specification
#655 opened Sep 19, 2024 by cpovirk
1
Avoid using the term "null-marked *scope*?" specification Issues with or changes to the specification
#654 opened Sep 19, 2024 by cpovirk
Consider a model under which Optional<@Nullable String> "fully does not exist" specification Issues with or changes to the specification
#640 opened Sep 11, 2024 by cpovirk
5
Terminology: "under every parameterization" -> "invariably?" specification Issues with or changes to the specification
#639 opened Sep 10, 2024 by cpovirk
1
Fix up the "mostly transitive" rules for subtyping and containment specification Issues with or changes to the specification
#638 opened Sep 10, 2024 by cpovirk
Write more about how String NO_CHANGE and String MINUS_NULL are "equivalent" specification Issues with or changes to the specification
#631 opened Sep 10, 2024 by cpovirk
1
More examples in the spec specification Issues with or changes to the specification
#630 opened Sep 10, 2024 by cpovirk
Allow annotations in subcomponents of instanceof types, including pattern variables? specification Issues with or changes to the specification
#626 opened Sep 9, 2024 by cpovirk
9
Update spec for any to-be-finalized issues: #248, #618, #158
#623 opened Sep 6, 2024 by cpovirk 1.0 specification release, starting from scratch
1
Define what _types_ are enclosed by specification Issues with or changes to the specification
#622 opened Sep 6, 2024 by cpovirk
3
Define subtyping rules for union types in the spec specification Issues with or changes to the specification
#621 opened Sep 6, 2024 by cpovirk
Revisit substitution for a type parameter <T extends @NonNull Object> needs-decision-before-spec-1.0 Issues needing a finalized decision for the 1.0 specification specification Issues with or changes to the specification
#618 opened Sep 4, 2024 by cpovirk 1.0 specification release, starting from scratch
4
Best way to express that a nullable is trusted as non-null discussion Something that did or will resolve itself without any actual change needed
#612 opened Aug 30, 2024 by stechio
11
How to annotate Map.getOrDefault library-use-case Question of how a particular library should be annotated; could potentially affect design or docs
#606 opened Aug 21, 2024 by kevinb9n
3
Write our take on Optional vs. null-augmented types documentation For issues related to user-facing documentation
#591 opened Aug 13, 2024 by cpovirk
3
Document what @Nullable annotations on varargs mean?
#580 opened Jul 27, 2024 by msridhar
4
Link from "Start Here" page to whether, using, and maybe other docs? documentation For issues related to user-facing documentation
#576 opened Jul 19, 2024 by cpovirk
1
Release tools for migrating from one set of nullness annotations to another tracking keeping track of our needs from projects
#554 opened Jul 10, 2024 by cpovirk
2
Improve, document, and link tools for automatically adding nullness annotations documentation For issues related to user-facing documentation tracking keeping track of our needs from projects
#553 opened Jul 10, 2024 by cpovirk
4
Doc briefly explaining the value of type-use annotations and how to use them documentation For issues related to user-facing documentation
#550 opened Jul 9, 2024 by cpovirk Release-independent
1
Write advice on using a javac that can (a) read type-use annotations from class files and (b) understand MODULE documentation For issues related to user-facing documentation
#537 opened Jun 26, 2024 by cpovirk
6
@NonNull vs. ? extends @Nullable for Optional-returning methods library-use-case Question of how a particular library should be annotated; could potentially affect design or docs
#525 opened Jun 13, 2024 by cpovirk
4
ProTip! Mix and match filters to narrow down what you’re looking for.