Liam Miller-Cushon

```java import org.checkerframework.checker.nullness.qual.MonotonicNonNull; import org.checkerframework.checker.nullness.qual.RequiresNonNull; class Require { @MonotonicNonNull String s; @RequiresNonNull("s") Supplier s() { return () -> s; } interface Supplier { T get(); } } ``` Actual: ```...

Is the behaviour below expected? Per https://checkerframework.org/manual/#declaration-annotations-moved, I thought the declaration annotation below would be treated as if I had written `T @Nonnull...` with an equivalent type annotation. ```java //...

hard-to-express postcondition for equals helper

4

5be5d3b0d71b4a9049c64e1678ae2cf6d0f836e6 recently improved the annotations for `equals`, to include the post-condition that if equals returns `true` its argument must have been non-null: ``` @EnsuresNonNullIf(expression="#1", result=true) ``` I ran into a...

Nullness checker handling of implicit type variable bounds - difference between <T> and <T extends @Nullable Object>

3

In the following example, the nullness checker rejects an input that contains a type variable with an explicit `extends @Nullable Object` bound, and accepts the same example if the explicit...

8328995: Launcher can't open jar files where the offset of the manifest is >4GB

13

This change fixes a zip64 bug in the launcher that is prevent it from reading the manifest of jars where the 'relative offset of local header' field in the central...

8328821: Map.of().entrySet() mutators should throw UnsupportedOperationException

14

This change overrides mutator methods in the implementation returned by `Map.of().entrySet()` to throw `UnsupportedOperationException`. --------- ### Progress - [ ] Change must be properly reviewed (1 review required, with at...

8332744: [REDO] 'internal proprietary API' diagnostics if --system is configured to an earlier JDK version

5

This change fixes a bug preventing javac from emitting 'compiler.warn.sun.proprietary' diagnostics if `--system` is set to a non-default value. The diagnostics are currently emitted for values of `--release`, and for...

8334757: AssertionError: Missing type variable in where clause

4

Please consider this fix for [JDK-8334757](https://bugs.openjdk.org/browse/JDK-8334757). This adds a missing case to argument preprocessing in `RichDiagnosticFormatter` to handle the `JCDiagnostic.AnnotatedType` wrapper types, which avoids a crash when types with type...

This JDK change to an internal javac API changes the signature of some methods: https://github.com/openjdk/jdk/commit/e227c7e37d4de0656f013f3a936b1acfa56cc2e0#diff-75b20caecda5175bf59347075eee9cb52409b4b411eb27f1a7f3d3430c003747 ```diff - Symbol findVar(Env env, Name name) { + Symbol findVar(DiagnosticPosition pos, Env env, Name...

Is there a way to download early access JDK builds with the plugin? E.g. looking at https://api.foojay.io/disco/v3.0/distributions there are several entries for early access builds of JDK 24 with versions...