LanguageFeatures/Private-fields-promotion/not_promotable_A02_t05.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.
///
/// @description Checks that a late final instance field cannot be promoted by
/// writing to it. See
/// https://github.com/dart-lang/sdk/issues/50949#issuecomment-1708280192
/// @author sgrekhov22@gmail.com
/// @issue 50949

class A {
  void foo() {}
}

class C<T extends A?> {
  late final T? _x;

  void test(T t) {
    _x = t;
    _x.foo();
//     ^^^
// [analyzer] unspecified
// [cfe] unspecified
  }
}

main() {
  C<A?> c = C();
  c._x = A();
  c._x.foo();
//     ^^^
// [analyzer] unspecified
// [cfe] unspecified
  c.test(A());
}