Language/Classes/access_to_this_A02_t01.dart

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

/// The current instance (and hence its members) can only be accessed at
/// specific locations in a class: We say that a location ℓ has access to this
/// iff ℓ is inside the body of a declaration of an instance member or a
/// generative constructor, or in the initializing expression of a late instance
/// variable declaration.
///
/// Note that an initializing expression for a non-late instance variable does
/// not have access to this, and neither does any part of a declaration marked
/// static.
///
/// @description Checks that it is a compile-time error if `this` is accessed in
/// the right hand expression in an initializer list
/// @author sgrekhov22@gmail.com

class C1 {
  int x = 0;
  int y;

  C1() : y = this.x;
//           ^^^^
// [analyzer] unspecified
// [cfe] unspecified
}

class C2 {
  int x = 0;
  int y;

  C2() : this.y = this.x;
//                ^^^^
// [analyzer] unspecified
// [cfe] unspecified
}

class C3 {
  int x = 0;
  late int y;

  C3() : y = this.x;
//           ^^^^
// [analyzer] unspecified
// [cfe] unspecified
}

class C4 {
  int x = 0;
  late final y;

  C4() : this.y = this.x;
//                ^^^^
// [analyzer] unspecified
// [cfe] unspecified
}

main() {
  print(C1);
  print(C2);
  print(C3);
  print(C4);
}