Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
jtreg
/
stubs
/
issue2059
/
AnnoNotFound.astub
blob: 2d16d98b91a38adfe035aa9fa714ccd613189fc9 [
file
] [
log
] [
blame
]
// Import at least one supported annotation.
import
org
.
checkerframework
.
checker
.
nullness
.
qual
.
NonNull
;
package
java
.
lang
;
class
Object
{
// Annotation not imported.
@Nullable
String
toString
()
{
throw
new
RuntimeException
(
"skeleton method"
);
}
}