blob: 1694d82e9e11f3c039c36665f4dfb30fc0d98949 [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.
import "package:expect/expect.dart";
typedef F(List<F> x);
// ^
// [cfe] The typedef 'F' has a reference to itself.
typedef D C();
class D {
C foo() => throw "uncalled";
D bar() => throw "uncalled";
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( is! C);
Expect.isTrue( is C);