agentgt/eclipse_null_bugs.md

Last active August 18, 2023 20:15

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/agentgt/9ca96d6d127d903cfacb544a90dfae6d.js"></script>
Save agentgt/9ca96d6d127d903cfacb544a90dfae6d to your computer and use it in GitHub Desktop.

Download ZIP

Eclipse null analysis issues

Raw

eclipse_null_bugs.md

Eclipse does not allow generic parameters on record attributes to be passed on to accessor methods.

public record Blah(List<String> strings) {}

public static void process(List<String> s) {}

var blah = new Blah(List.of("hello"));

process(blah.strings()); // null warning here because it does not know that strings is List<@NonNull String>