// RUN: %target-swift-frontend -typecheck -parse-as-library -verify %s

@main // expected-error{{'MyBase' is annotated with @main and must provide a main static function}}
class MyBase {
  func main() {
  }
}

