blob: 900b1d2a654a4d39b4dddddd5e220819807aee64 [file] [log] [blame]
// TODO(multitest): This was automatically migrated from a multitest and may
// contain strange or dead code.
// Copyright (c) 2018, 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 get c => null;
void set c(C value) {}
}
class C {}
class D extends C {}
class E extends C {}
// Inferred type: A
var a = new A();
// Inferred type: C
var x = a.b.c;
// Inferred type: C
var y = a.b.c ??= new D();
test() {
// Verify the types of x and y by trying to assign to them.
y = new E();
}
main() {}