Fix JSpecify generics code on JDK 21 #827
Labels
jspecify
Related to support for jspecify standard (see jspecify.dev)
Comments
msridhar
added
the
jspecify
Merged
msridhar
added a commit
that referenced
this issue
Sep 5, 2023
It looks like most of our tests pass on JDK 21. Exceptions are the JSpecify generics tests, which rely on an API that changed in JDK 21 (see #827), and the JarInfer tests, as it looks like WALA does not yet support running on JDK 21 (see #829). Core NullAway support (ignoring the experimental/WIP JSpecify mode) should be working. This PR adds test configs so that we run tests on JDK 21 wherever possible. We update our Jacoco and Mockito versions to make this work. We also take the opportunity to move some common test configuration code to the `nullaway.java-test-conventions.gradle` file, which previously just held configuration for Jacoco.
msridhar
added a commit
that referenced
this issue
Jan 10, 2024
Our JSpecify mode would not run on JDK 21 due some some internal javac API changes. This PR adapts to those changes using code specific to JDK 21. Fixes #827 --------- Co-authored-by: Manu Sridharan <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The code relies on constructing
TypeMetadata$Entryobjects, which no longer exist on JDK 21 due to this change:openjdk/jdk@b9951dd
We'll have to do some reflection to make our code work on both JDK 21 and earlier JDKs.
The text was updated successfully, but these errors were encountered: