This issue is a spriritual succesor to 222893 and a sibling to 234453.

When we can decide the type in static (and we can, thanks to ASM.JS findings) - why dont we use this information ?

In some cases - it works fine (see: ok() function), but in some cases its just plain crazy (see print() or a())


/**
 * Expected: Boolean
 * Actual: Number.x
 * @param {string} x
 */
function a(x) {
        return !!x;
}

/**
 * Expected: Number
 * Actual: String
 * @param {string} y
 */
function b(y) {
        return +y;
}

/**
 * Expected: Number
 * Actual: Number|String
 * @param {string} z
 */
function c(z) {
        return z|0;
}

/**
 * Expected: String
 * Actual: String
 * @param {number} n
 */
function ok(n) {
        return ''+n;
}

/**
 * Expected: String
 * Actual: String|window.print.value
 * @param {string} value
  */
function print(value) {
        return value;
}