From d2cf63a29815277e7f842ca52aaa8680bcb9e497 Mon Sep 17 00:00:00 2001 From: Erik Ernst Date: Mon, 5 Oct 2020 10:28:52 +0200 Subject: [PATCH] Clarify that `main` cannot be a getter --- accepted/future-releases/nnbd/feature-specification.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/accepted/future-releases/nnbd/feature-specification.md b/accepted/future-releases/nnbd/feature-specification.md index d7d1a1fb9b..c3c58241d4 100644 --- a/accepted/future-releases/nnbd/feature-specification.md +++ b/accepted/future-releases/nnbd/feature-specification.md @@ -6,6 +6,9 @@ Status: Draft ## CHANGELOG +2020.10.05 + - Clarify that `main` cannot be a getter. + 2020.09.10 - Specify updates to super-bounded type rules for null safety. @@ -1112,7 +1115,7 @@ The section 'Scripts' in the language specification is replaced by the following: Let _L_ be a library that exports a declaration _D_ named `main`. It is a -compile-time error unless _D_ is a function declaration. It is a +compile-time error unless _D_ is a non-getter function declaration. It is a compile-time error if _D_ declares more than two required positional parameters, or if there are any required named parameters. It is a compile-time error if _D_ declares at least one positional parameter, and