LanguageFeatures/Private-fields-promotion/not_promotable_A05_t05_lib.dart

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

/// @assertion An instance field is promotable if all the following conditions
/// hold:
/// - It refers to a field (not a getter)
/// - The field is private
/// - The field is final
/// - There is no getter with the same name elsewhere in the library
/// - There is no non-final field with the same name elsewhere in the library
/// - There is no implicit noSuchMethod forwarder with the same name elsewhere
///   in the library.
///
/// @descriptionChecks that if there is a non-final field with the same name in
/// some class in the same library  but in another file then the field is not
/// promotable
/// @author sgrekhov22@gmail.com

part of "not_promotable_A05_t05.dart";

class C {
  int? _x = 43;

  C() {
    print(_x);
  }
}