pkg/front_end/testcases/general/infer_field_type.dart

// Copyright (c) 2020, 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.

class C extends B {
  var field;
}

class B extends A {
  get field => throw '';
  set field(value) {}
}

class A {
  var field = method();
}

var topLevelFieldFromA = new A().field;
var topLevelFieldFromB = new B().field;
var topLevelFieldFromC = new C().field;

int? method() => 0;

main() {}