// Copyright (c) 2011, 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 Functions include function declarations, methods, getters,
/// setters, constructors and function literals.
/// All functions have a signature and a body.
/// functionSignature:
///   metadata returnType? identifier formalParameterList
/// ;
/// returnType: void | type
/// ;
/// functionBody:
///   async? '=>' expression ';' | (async | async* | sync*)? block
/// ;
/// block:
///   '{' statements '}'
/// ;
///
/// @description Checks that returnType must be a valid identifier.
/// @author kaigorodov


class C {}

  C.B f1() {}
//^^^
// [analyzer] unspecified
// [cfe] unspecified

  C.!B f2() {}
//^^^^
// [analyzer] unspecified
// [cfe] unspecified

main() {
  f1();
  f2();
}