blob: 55ade341bcffa440a92c4b370a4eb932e0887bfb [file] [log] [blame]
// Copyright (c) 2012, 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.
// Dart test for legally self referencing function type alias.
// @dart = 2.9
import "package:expect/expect.dart";
typedef F(List<F> x);
// ^
// [analyzer] COMPILE_TIME_ERROR.TYPE_ALIAS_CANNOT_REFERENCE_ITSELF
// [cfe] The typedef 'F' has a reference to itself.
typedef D C();
class D {
C foo() {}
D bar() {}
}
main() {
var f = (List x) {};
Expect.isTrue(f is F);
var g = (List<F> x) {};
Expect.isFalse(g is F);
var d = new D();
Expect.isTrue(d.foo is! C);
Expect.isTrue(d.bar is C);
}