Use @NullMarked
instead of our custom @ElementTypesAreNonnullByDefault
annotations.
#3577
Job | Run time |
---|---|
7s | |
7s |
@NullMarked
instead of our custom @ElementTypesAreNonnullByDefault
annotations.
#3577
Job | Run time |
---|---|
7s | |
7s |