Use @NullMarked instead of our custom @ElementTypesAreNonnullByDefault annotations.
#4005
| Job | Run time |
|---|---|
| 3m 1s | |
| 2m 44s | |
| 2m 53s | |
| 3m 3s | |
| 3m 3s | |
| 3m 4s | |
| 3m 3s | |
| 2m 58s | |
| 3m 1s | |
| 0s | |
| 0s | |
| 26m 50s |