blob: ba79be3eb964eb6bbf336c0a1ef1ae0ad46ee515 [file] [log] [blame]
// Copyright (c) 2017, 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.
/*@testedFeatures=inference*/
library test;
// In the code below, there is a circularity between A.b and x.
class A {
var b = /*@ returnType=() ->* invalid-type */ () => x;
var c = /*@ returnType=() ->* invalid-type */ () => x;
}
var a = new A();
var x = /*@ returnType=invalid-type */ () => a. /*@target=A::b*/ b;
var y = /*@ returnType=() ->* () ->* invalid-type */ () => a. /*@target=A::c*/ c;
main() {}