LanguageFeatures/nnbd/syntax_A08_t01.dart

// Copyright (c) 2019, 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 Conditional expressions inside of braces are ambiguous between
/// sets and maps. That is, { a as bool ? - 3 : 3 } can be parsed as a set
/// literal { (a as bool) ? - 3 : 3 } or as a map literal
/// { (a as bool ?) - 3 : 3 }. Parsers will prefer the former parse over the
/// latter.
///
/// The same is true for { a is int ? - 3 : 3 }.
///
/// The same is true for { int ? - 3 : 3 } if we allow this.
///
/// @description Check that { a as bool ? - 3 : 3 } is parsed as
/// { (a as bool) ? - 3 : 3 }
/// @author sgrekhov@unipro.ru

// Requirements=nnbd-strong
import "../../Utils/expect.dart";

main() {
  dynamic a = true;
  var v = { a as bool ? - 3 : 3 };
  Expect.setEquals({-3}, v);

  dynamic a2 = false;
  var v2 = { a2 as bool ? - 3 : 3 };
  Expect.setEquals({3}, v2);

  var a3 = 42;
  var v3 = { a3 is int ? - 3 : 3 };
  Expect.setEquals({-3}, v3);

  dynamic a4 = 3.14;
  var v4 = { a4 is int ? - 3 : 3 };
  Expect.setEquals({3}, v4);

}