// Copyright (c) 2020, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

/// @assertion Let L be a library that exports a declaration D named main.
/// ...
///  It is a compile-time error if D declares at least one positional parameter,
///  and the first positional parameter has a type which is not a supertype of
///  List<String>
///
/// @description Checks that it is no compile-time error if D declares at least
/// one positional parameter, and the first positional parameter has a type which
/// is a supertype of List<String>
/// @author sgrekhov@unipro.ru

main(List<String>? args) {
}