Skip to content

Commit

Permalink
fix tests
Browse files Browse the repository at this point in the history
  • Loading branch information
armughan11 committed Sep 25, 2024
1 parent 4b0c8b2 commit c4393c0
Showing 1 changed file with 4 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -126,12 +126,13 @@ public void annotationAppliedToInnerTypeExplicitly() {
"import org.checkerframework.checker.nullness.qual.Nullable;",
"class Test {",
" Test.@Nullable Foo f1;",
" // @Nullable does not apply to the inner type",
" // BUG: Diagnostic contains: @NonNull field f2 not initialized",
" @Nullable Test.Foo f2;",
" class Foo { }",
" public void test() {",
" // BUG: Diagnostic contains: dereferenced",
" f1.hashCode();",
" // BUG: Diagnostic contains: dereferenced",
" f2.hashCode();",
" }",
"}")
Expand All @@ -154,11 +155,12 @@ public void annotationAppliedToInnerTypeExplicitly2() {
"import org.checkerframework.checker.nullness.qual.Nullable;",
"class Test {",
" Bar.@Nullable Foo f1;",
" // @Nullable does not apply to the inner type",
" // BUG: Diagnostic contains: @NonNull field f2 not initialized",
" @Nullable Bar.Foo f2;",
" public void test() {",
" // BUG: Diagnostic contains: dereferenced",
" f1.hashCode();",
" // BUG: Diagnostic contains: dereferenced",
" f2.hashCode();",
" }",
"}")
Expand Down

0 comments on commit c4393c0

Please sign in to comment.