library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd/required_named_parameter.dart:6:19: Error: Named parameter 'parameter' is required and can't have a default value.
// foo({required int parameter = 42}) {}
//                   ^^^^^^^^^
//
// pkg/front_end/testcases/nnbd/required_named_parameter.dart:7:11: Error: Optional parameter 'parameter' should have a default value because its type 'int' doesn't allow null.
// foo2({int parameter}) {}
//           ^^^^^^^^^
//
// pkg/front_end/testcases/nnbd/required_named_parameter.dart:8:11: Error: Optional parameter 'parameter' should have a default value because its type 'int' doesn't allow null.
// foo3([int parameter]) {}
//           ^^^^^^^^^
//
import self as self;
import "dart:core" as core;

static method foo({required core::int parameter}) → dynamic
  ;
static method foo2({core::int parameter}) → dynamic
  ;
static method foo3([core::int parameter]) → dynamic
  ;
static method bar({required core::int parameter}) → dynamic
  ;
static method bar2({core::int parameter}) → dynamic
  ;
static method bar3([core::int parameter]) → dynamic
  ;
static method main() → dynamic
  ;