diff options
| author | Rawi01 <Rawi01@users.noreply.github.com> | 2021-01-30 21:43:33 +0100 |
|---|---|---|
| committer | Rawi01 <Rawi01@users.noreply.github.com> | 2021-01-31 12:17:55 +0100 |
| commit | 561c43492552a86c9843b16b79cb6984dd3a4a43 (patch) | |
| tree | 8c73ec3d4907f31b8a7ed8d66d7f3a4a908d27bd /test/transform/resource/after-delombok | |
| parent | 3d3a4c322af4cf7f27679661efaa9dcd685165bb (diff) | |
| download | lombok-561c43492552a86c9843b16b79cb6984dd3a4a43.tar.gz lombok-561c43492552a86c9843b16b79cb6984dd3a4a43.tar.bz2 lombok-561c43492552a86c9843b16b79cb6984dd3a4a43.zip | |
[fixes #2692] Add missing checker annotations in SuperBuilder
Diffstat (limited to 'test/transform/resource/after-delombok')
| -rw-r--r-- | test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java b/test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java index 919a3e33..e1ac7c00 100644 --- a/test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java +++ b/test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java @@ -1,4 +1,3 @@ -// skip-idempotent import java.util.List; class CheckerFrameworkSuperBuilder { public static class Parent { @@ -128,7 +127,7 @@ class CheckerFrameworkSuperBuilder { } @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") - public static CheckerFrameworkSuperBuilder.Parent.ParentBuilder<?, ?> builder() { + public static CheckerFrameworkSuperBuilder.Parent.@org.checkerframework.common.aliasing.qual.Unique ParentBuilder<?, ?> builder() { return new CheckerFrameworkSuperBuilder.Parent.ParentBuilderImpl(); } } @@ -211,7 +210,7 @@ class CheckerFrameworkSuperBuilder { } @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") - public static CheckerFrameworkSuperBuilder.ZChild.ZChildBuilder<?, ?> builder() { + public static CheckerFrameworkSuperBuilder.ZChild.@org.checkerframework.common.aliasing.qual.Unique ZChildBuilder<?, ?> builder() { return new CheckerFrameworkSuperBuilder.ZChild.ZChildBuilderImpl(); } } |