// Copyright (c) 2011, 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 Execution of an if statement of the form if (b) s1 else s2
 * proceeds as follows:
 * . . .
 * If r is true, then the statement {s1} is executed, otherwise statement {s2}
 * is executed.
 * @description Checks that if and else branches statements are enclosed in
 * implicit extra blocks.
 * @author ilya
 */
import '../../../Utils/expect.dart';

main() {
  {
   var x = 1;
   if (true)
     var x = 2;
    Expect.equals(1,x);
  }

  {
    var x = 1;
    if (false)
      var x = 2;
    else
        var x = 3;
    Expect.equals(1,x);
  }

  {
    var x = 1;
    if (false)
      var x = 2;
    else
      Expect.equals(1, x);
    Expect.equals(1,x);
  }
}