blob: c05b4e9734f0474e2e50d14cd4728b7b9d049ecb [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;
class A {
B b;
}
class B {
C c;
}
class C {}
class D extends C {}
var a = new A();
var x = a. /*@target=A.b*/ b. /*@target=B.c*/ c;
var y = a. /*@ type=B* */ /*@target=A.b*/ /*@target=B.c*/ b
. /*@target=B.c*/ c /*@target=C.==*/ ??= new D();
main() {}