// Copyright 2009 the Sputnik authors.  All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
    Type(x) is different from Type(y) and both types vary between
    String (primitive or object) and Undefined
---*/

//CHECK#1
x = "1";
x -= undefined;
if (isNaN(x) !== true) {
  $ERROR('#1: x = "1"; x -= undefined; x === Not-a-Number. Actual: ' + (x));
}

//CHECK#2
x = undefined;
x -= "1";
if (isNaN(x) !== true) {
  $ERROR('#2: x = undefined; x -= "1"; x === Not-a-Number. Actual: ' + (x));
}

//CHECK#3
x = new String("1");
x -= undefined;
if (isNaN(x) !== true) {
  $ERROR('#3: x = new String("1"); x -= undefined; x === Not-a-Number. Actual: ' + (x));
}

//CHECK#4
x = undefined;
x -= new String("1");
if (isNaN(x) !== true) {
  $ERROR('#4: x = undefined; x -= new String("1"); x === Not-a-Number. Actual: ' + (x));
}

/*---
info: The production x -= y is the same as x = x - y
es5id: 11.13.2_A4.5_T2.6
description: >