Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
GetPackage1.java
blob: 9ae68d34da6b9247f8e334c8cca6a32d305fbc04 [
file
] [
log
] [
blame
]
// Test case for interaction between ClassVal and getPackage()
// @skip-test
public
class
GetPackage
{
void
callGetPackage
()
{
@NonNull
Package
p1
=
GetPackage
.
class
.
getPackage
();
@NonNull
Package
p2
=
java
.
util
.
List
.
class
.
getPackage
();
}
}