David P. Baker

This is written in the docs-1.0 branch, which we'll merge into main soon.

@cpovirk, do you want to look at this again and close it out?

I'm not certain what decidable question this issue covers. Is it just about whether we should use the term "subtype of" or "convertible to"? Is it just in response to...

**Current decision**: This feature is not required for JSpecify 1.0. **Proposal for 1.0: Finalize the current decision.** If you agree, please add a thumbs-up emoji (👍) to this comment. If...

@cpovirk, is there a _decision_ to be made here that might affect the specification? Or is this really a case of documenting the implications for these edge cases?

Do you mean to say that "_automatically generated_ `equals` methods in `Record` subtypes are unmarked"? Or are you saying there's no way for a tool to tell the difference between...

So you could decide to explicitly redeclare/reimplement with `@NullMarked`, but that's a lot of effort.

I don't see a lot of evidence of people needing to shuffle arrays of ints in Google's codebase. Do you see a lot of use of `Collections.shuffle({Ints,Arrays}.asList(...))` in your codebase?

Hi @Stupremee and @sagada. Thanks for your interest in contributing! Please take a look at [How to Contribute](https://github.com/google/guava/wiki/HowToContribute#code-contributions). We haven't gotten to the point of deciding that this feature is...

We've added this documentation on the docs-1.0 branch, which will be merged soon.