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"); }
}