Skip to content

Commit

Permalink
another test
Browse files Browse the repository at this point in the history
  • Loading branch information
msridhar committed Jan 2, 2023
1 parent 6e26322 commit 1b1a5b1
Showing 1 changed file with 4 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -1110,12 +1110,13 @@ public void typeUseAnnotationOnInnerMultiLevel() {
"import org.checkerframework.checker.nullness.qual.Nullable;",
"class A { class B { class C {} } }",
"class Test {",
" // At some point, we should only treat the last of these declarations",
" // as making the field @Nullable. For now, any of them makes the field",
" // @Nullable.",
" // At some point, we should not treat the foo1 and foo2 as @Nullable.",
" // For now we do, for ease of compatibility.",
" @Nullable A.B.C foo1 = null;",
" A.@Nullable B.C foo2 = null;",
" A.B.@Nullable C foo3 = null;",
" // what should we do here?",
" A.B.@Nullable C [][] foo4 = null;",
"}")
.doTest();
}
Expand Down

0 comments on commit 1b1a5b1

Please sign in to comment.