import java.io.Serializable;
import org.checkerframework.checker.nullness.qual.NonNull;
import org.checkerframework.checker.nullness.qual.Nullable;

public class AnnotatedSupertype {

  class NullableSupertype
      // :: error: (nullness.on.supertype)
      extends @Nullable Object
      // :: error: (nullness.on.supertype)
      implements @Nullable Serializable {}

  @NonNull class NonNullSupertype
      // :: error: (nullness.on.supertype)
      extends @NonNull Object
      // :: error: (nullness.on.supertype)
      implements @NonNull Serializable {}
}