Language/Expressions/Constants/ternary_operator_t06.dart

// Copyright (c) 2025, 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 potentially constant expression is an expression that will
/// generally yield a constant value when the values of certain parameters are
/// given. The constant expressions is a subset of the potentially constant
/// expressions that can be evaluated at compile time.
/// ...
/// The potentially constant expressions and constant expressions are the
/// following:
/// ...
/// - An expression of the form `e1?e2:e3` is potentially constant if `e1`,
///   `e2`, and `e3` are all potentially constant expressions. It is further
///   constant if `e1` is a constant expression and either
///   1. `e1` evaluates to true and `e2` is a constant expression, or
///   2. `e1` evaluates to false and `e3` is a constant expression.
///
/// @description Checks that an expression of the form `e1?e2:e3` is a constant
/// if `e1` and `e3` are constants, `e1` evaluates to `false` and `e2` is a
/// potentially constant.
/// @author sgrekhov22@gmail.com

class C {
  const C();

  @override
  String toString() {
    return "Arbitrary code";
  }
}

main() {
  const c = const C();
  const x = 1 > 2 ? "$c" : ""; // "$c" is potentially constant but not constant
}