/*
 * 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 A variable declaration statement declares a new local variable.
 *   localVariableDeclaration:
 *     initializedVariableDeclaration ’;’ .
 * @description Checks several assignments of variables declared as "T id;"
 * that are correct in checked mode and do not produce static warnings.
 * @author vasya
 * @reviewer rodionov
 * @reviewer iefremov
 */

import "../../Utils/dynamic_check.dart";

class S {}
class T extends S {}
class C extends T {}

main() {
  T id;
  id = new C();

  checkTypeError(() {
    id = new S();
  });

  bool id1;
  id1 = false;

  String id2;
  id2 = "";
}