Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness-extra
/
package-anno
/
test
/
PackageAnnotationTest.java
blob: dd9d005d7eb48d31b90bdf4de959f8c4c443db95 [
file
] [
log
] [
blame
]
package
test
;
public
class
PackageAnnotationTest
{
// Allowed because of package annotation.
Object
f
=
null
;
}