blob: 721e41d40e6db0ff43276bef3aeb800dc0f2bfdd [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.
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.
y = new C();
main() {}