// Copyright (c) 2013, 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.
// VMOptions=--enable_type_checks

import "package:expect/expect.dart";

main() {
  var a;
  Expect.throws(() {
    true && (a = 5);
  }, (error) => error is TypeError);
  Expect.throws(() {
    (a = 5) && true;
  }, (error) => error is TypeError);
  Expect.throws(() {
    false || (a = 5);
  }, (error) => error is TypeError);
  Expect.throws(() {
    (a = 5) || false;
  }, (error) => error is TypeError);
  Expect.throws(() {
    (a = 5) || true;
  }, (error) => error is TypeError);

  // No exceptions thrown.
  false && (a = 5);
  true || (a = 5);
}