// 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.

dynamic guard() => true;

main() {
  var [a] = [5];
  int b;
  [b] = [if (a case == 5 when guard()) 5];
  if (a case == 5 when guard()) {
    a = 6;
  }
  var c = switch (a) {
    int d when guard() => d,
    _ => 0,
  };
  switch (b) {
    case int e when guard():
      print(a);
  }
  var d = {if (a case == 5 when guard()) 5: 6};
}