Language/Overview/Scoping/hiding_declaration_t13.dart

// 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 If a declaration d named n is in the namespace induced by a 
 * scope S, then d hides any declaration named n that is available in the 
 * lexically enclosing scope of S.
 * @description Checks that no static warning is produced if a local variable
 * declared inside an else statement shadows another local variable declared in 
 * an enclosing lexical scope.
 * @author iefremov
 */
import "../../../Utils/expect.dart";

var flag = false;

never() {
  return flag;
}

main() {
  var x = 1;
  if (never()) {
    var y = 42;
  } else {
    var x = 0;
  }
  Expect.equals(1, x);
}