LanguageFeatures/Static-access-shorthand/constant_expression_A10_t17.dart

// Copyright (c) 2024, 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 A static member shorthand expression should be a potentially
/// constant expression if the corresponding explicit static member plus
/// selectors expression would be, which currently means that it's a potentially
/// constant expression if and only if it's a constant expression.
///
/// @description Checks that it is a compile-time error if a non-constant static
/// member shorthand expression is used in a constant `e1 ? e2 : e3` expression.
/// @author sgrekhov22@gmail.com

// SharedOptions=--enable-experiment=dot-shorthands

class C {
  static C one = const C(1);
  static const C two = const C(2);
  final int v;
  const C(this.v);
}

mixin M on C {
  static M one = const MC(1);
  static const M two = const MC(2);
}

class MC extends C with M {
  const MC(super.v);
}

enum E {
  e1, e2;
  static const E one = E.e1;
  static E two = E.e2;
}

extension type const ET(int v) {
  static const ET one = const ET(1);
  static ET two = const ET(2);
}

main() {
  const C c = 2 > 1 ? .one : .two;
//                    ^
// [analyzer] unspecified
// [cfe] unspecified
  const M m = 2 < 1 ? .one : .two;
//                    ^
// [analyzer] unspecified
// [cfe] unspecified

  const E e = 2 > 1 ? .one : .two;
//                           ^
// [analyzer] unspecified
// [cfe] unspecified

  const ET et = 2 < 1 ? .one : .two;
//                             ^
// [analyzer] unspecified
// [cfe] unspecified
}