blob: 589abb2ec14be69779c3b8cedda51c5f0591aa02 [file] [log] [blame]
// TODO(multitest): This was automatically migrated from a multitest and may
// contain strange or dead code.
// @dart = 2.9
// 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.
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 C();
main() {}