// 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 Any self reference in a typedef, either directly, or recursively | |
/// via another typedef, is a compile time error. | |
/// @description Checks that it is compile error if two typedefs are mutually | |
/// recursive via their formal parameter types. | |
/// @author ilya | |
/// @issue 46062 | |
typedef F(G x); | |
// ^ | |
// [analyzer] unspecified | |
// [cfe] unspecified | |
typedef G(F x); | |
//^ | |
// [analyzer] unspecified | |
main() { | |
F? x; | |
} |