blob: 6009b9aa65735b9f973f5fdf83bbbbfbfc174713 [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 {
late 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.
x = new C();
x = null;
}
main() {}