library /*isNonNullableByDefault*/;
import self as self;

import "org-dartlang-testcase:///main_declaration_class_lib.dart" as class_lib;
import "org-dartlang-testcase:///main_declaration_extension_lib.dart" as extension_lib;
import "org-dartlang-testcase:///main_declaration_field_lib.dart" as field_lib;
import "org-dartlang-testcase:///main_declaration_getter_lib.dart" as getter_lib;
import "org-dartlang-testcase:///main_declaration_method_extra_optional_parameters_lib.dart" as method_extra_optional_parameters_lib;
import "org-dartlang-testcase:///main_declaration_method_named_parameters_lib.dart" as method_named_parameters_lib;
import "org-dartlang-testcase:///main_declaration_method_one_optional_parameter_lib.dart" as method_one_optional_parameter_lib;
import "org-dartlang-testcase:///main_declaration_method_one_parameter_lib.dart" as method_one_parameter_lib;
import "org-dartlang-testcase:///main_declaration_method_one_required_optional_lib.dart" as method_one_required_optional_lib;
import "org-dartlang-testcase:///main_declaration_method_required_named_parameters_lib.dart" as method_required_named_parameters_lib;
import "org-dartlang-testcase:///main_declaration_method_too_many_parameters_lib.dart" as method_too_many_parameters_lib;
import "org-dartlang-testcase:///main_declaration_method_two_optional_parameters_lib.dart" as method_two_optional_parameters_lib;
import "org-dartlang-testcase:///main_declaration_method_two_parameters_lib.dart" as method_two_parameters_lib;
import "org-dartlang-testcase:///main_declaration_method_wrong_parameter_type_lib.dart" as method_wrong_parameter_type_lib;
import "org-dartlang-testcase:///main_declaration_setter_lib.dart" as setter_lib;
import "org-dartlang-testcase:///main_declaration_typedef_lib.dart" as typedef_lib;

static method main() → dynamic {}

library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/main_declaration_class_lib.dart:5:7: Error: The 'main' declaration must be a function declaration.
// class main /* error */ {}
//       ^
//
import self as self2;
import "dart:core" as core;

class main extends core::Object {
  synthetic constructor •() → self2::main
    : super core::Object::•()
    ;
}

library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/main_declaration_extension_lib.dart:5:11: Error: The 'main' declaration must be a function declaration.
// extension main /* error */ on Object {}
//           ^
//
import self as self3;
import "dart:core" as core;

extension main on core::Object {
}

library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/main_declaration_field_lib.dart:5:17: Error: The 'main' declaration must be a function declaration.
// void Function() main /* error */ = () {};
//                 ^^^^
//
import self as self4;

static field () → void main = () → void {};

library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/main_declaration_getter_lib.dart:5:21: Error: The 'main' declaration must be a function declaration.
// void Function() get main /* error */ => () {};
//                     ^^^^
//
import self as self5;

static get main() → () → void
  return () → void {};

library /*isNonNullableByDefault*/;
import self as self6;
import "dart:core" as core;

static method main(core::List<core::String> args, dynamic other, [dynamic extra = #C1]) → void {}

library /*isNonNullableByDefault*/;
import self as self7;
import "dart:core" as core;

static method main({core::List<core::String> args = #C2}) → void {}

library /*isNonNullableByDefault*/;
import self as self8;
import "dart:core" as core;

static method main([core::List<core::String>? args = #C1]) → void {}

library /*isNonNullableByDefault*/;
import self as self9;
import "dart:core" as core;

static method main(core::List<core::String> args) → void {}

library /*isNonNullableByDefault*/;
import self as self10;
import "dart:core" as core;

static method main(core::List<core::String> args, [dynamic other = #C1]) → void {}

library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/main_declaration_method_required_named_parameters_lib.dart:5:6: Error: The 'main' method cannot have required named parameters.
// void main({required List<String> args}) /* error */ {}
//      ^^^^
//
import self as self11;
import "dart:core" as core;

static method main({required core::List<core::String> args = #C1}) → void {}

library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/main_declaration_method_too_many_parameters_lib.dart:5:6: Error: The 'main' method must have at most 2 required parameters.
// void main(List<String> args, a, b) /* error */ {}
//      ^^^^
//
import self as self12;
import "dart:core" as core;

static method main(core::List<core::String> args, dynamic a, dynamic b) → void {}

library /*isNonNullableByDefault*/;
import self as self13;
import "dart:core" as core;

static method main([core::List<core::String> args = #C2, dynamic other = #C1]) → void {}

library /*isNonNullableByDefault*/;
import self as self14;
import "dart:core" as core;

static method main(core::List<core::String> args, dynamic other) → void {}

library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/main_declaration_method_wrong_parameter_type_lib.dart:5:6: Error: The type 'Set<String>' of the first parameter of the 'main' method is not a supertype of 'List<String>'.
//  - 'Set' is from 'dart:core'.
//  - 'List' is from 'dart:core'.
// void main(Set<String> args) /* error */ {}
//      ^^^^
//
import self as self15;
import "dart:core" as core;

static method main(core::Set<core::String> args) → void {}

library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/main_declaration_setter_lib.dart:5:10: Error: The 'main' declaration must be a function declaration.
// void set main(void Function() f) /* error */ {}
//          ^^^^
//
import self as self16;

static set main(() → void f) → void {}

library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/main_declaration_typedef_lib.dart:5:9: Error: The 'main' declaration must be a function declaration.
// typedef main /* error */ = void Function();
//         ^
//
import self as self17;

typedef main = () → void;

constants  {
  #C1 = null
  #C2 = <core::String>[]
}