/*
 * 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 Evaluation of an equality expression ee of the form e1 == e2 proceeds
 * as follows:
 * -  The expression e1 is evaluated to an object o1 .
 * -  The expression e2 is evaluated to an object o2 .
 * -  If either o1 or o2 is null, then ee evaluates to identical(o1, o2 ).
 *    Otherwise, ee is equivalent to the method invocation o1 .==(o2 ).
 * @description Checks that iff one or both of operands is null, the result of an
 * equality expression is evaluated as identical(o1, o2 ) and the .== method
 * of whichever operand is not null never gets invoked.
 * @author kaigorodov
 * @reviewer rodionov
 */
import "../../Utils/expect.dart";

class C {
  bool operator ==(other) {
    throw "operator== invoked with $other argument!";
  }
}

void check(var o1, var o2) {
  Expect.equals(o1 == o2, identical(o1, o2));
}

main() {
  var foo=1;

  check(null, null);
  check(null, "null");
  check(null, new Object());
  check([1, 2, 3], null);
  check(null, const {'1': 1});
  check(1, null);
  check(false, null);
  check(new C(), null);
  check(null, new C());
  check(foo, null);
  check(null, foo);
}