pkg/front_end/testcases/inference/field_refers_to_top_level_getter.dart

// Copyright (c) 2017, 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 C {
  final /*@topType=int*/ x = y;
}

int get y => null;

main() {}