[test] Fix tests to reflect updates to @CheckReturnValue feature.

This commit is contained in:
Reinier Zwitserloot committed 2026-08-21 02:57:22 +02:00
1 parent f6fab0dafb
commit 4cfdf21430
10 files changed
+10 -41

No files matched your search

@@ -70,6 +70,7 @@ class CheckerFrameworkBasic {
public java.lang.String toString() {
return "CheckerFrameworkBasic(x=" + this.getX() + ", y=" + this.getY() + ", z=" + this.getZ() + ")";
}
@org.checkerframework.dataflow.qual.SideEffectFree
@java.lang.SuppressWarnings("all")
@lombok.Generated
public CheckerFrameworkBasic(final int x, final int y, final int z) {