| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/parser/Parser.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/parser/Parser.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/parser/Parser.java
|
| index be14d1ea607f46dc19fe4d4e182a3dbc8e4882c7..a7e204d1e211385175f8d64b6d42eabdd0996036 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/parser/Parser.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/parser/Parser.java
|
| @@ -4067,6 +4067,9 @@ public class Parser {
|
| }
|
| SimpleIdentifier identifier = parseSimpleIdentifier();
|
| if (matches(TokenType.OPEN_PAREN)) {
|
| + if (holder.getKeyword() != null) {
|
| + reportError(ParserErrorCode.FUNCTION_TYPED_PARAMETER_VAR, holder.getKeyword());
|
| + }
|
| if (thisKeyword != null) {
|
| // TODO(brianwilkerson) Report this error (we have found "this.id(").
|
| // TODO(brianwilkerson) Decide how to recover from this error.
|
|
|