blob: 2de7ab3d933cbff5f47ed7ef492b9a6eceb816d1 [file] [log] [blame]
// 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 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>
* @author sgrekhov@unipro.ru
* @issue 43552
*/
main(String args) {
//^^^^
// [analyzer] unspecified
// [cfe] unspecified
}