Ethan McCue

Good news! got a linux laptop to test all of this and they did build with some changes Bad news! The entire reason i want to have these ea builds...

I ended up giving up waiting for this and forked the rust playground to do what I wanted. https://java-playground.com I'll leave the issue up in case anyone else is still...

My personal opinion at this point is that jspecify should be declared as a normal library, not provided. If its provided IDEs get confused when showing sources. For situations that...

For my case, I want students who download my jar directly to just have it work. ```java import org.jspecify.annotations.NullMarked; @NullMarked module dev.mccue.json { requires static org.jspecify; exports dev.mccue.json; exports dev.mccue.json.stream;...

Would it be reccomended to use ```java requires static org.jspecify; ``` or ```java requires static transitive org.jspecify; ``` Will that make a difference to the reference checker?

@cpovirk So I finally got around to actually testing what would happen here. Take these two modules. The only difference between them is that one requires static jspecify, the other...

> Now the reason `requires static` is not really right is because you are exporting the types all the time and while intellij does not give a shit I can...

> TYPE_USE annotations are part of the type. Think of it has hiding `Optional`. I'm more thinking of it like hiding the `String` in `List`. The difference is that `Optional`...

> Also if at any point if you have the parameter's type exposed ... you are going to need in the classpath/modulepath so its not an analog either. Do you...

@agentgt Yeah - i'm not too sure of a good usage for `requires static transitive`. You need it at compile time and dependent modules need it at compile time, but...