bad check_types two objects

I am sorry about creating new issue.

``` javascript
/**
* @typedef {{ value: Array }}
*/
var firstType;

/**
* @typedef { string }
*/
var good;

/**
* @typedef {{ value: string }}
*/
var bad;

/**
* @typedef { Array<(firstType|bad)> }
*/
var list;

/**
* @param {(firstType|bad)} x
*/
var addTo = function(x) {
list.push(x);
};

var item = { value: ['33'] };
addTo(item);
```

I use object and string (firstType and good) check_types is ok. Vide online compiler: http://goo.gl/rebsT9
I use two objects (firstType and bad) check_types return warning. Vide online: http://goo.gl/h80N9u

I can for good check_types use @type, however it is falsity and check_types is functionless.

``` javascript
var item = /** @type {bad} */ ({ value: ['33'] });
addTo(item);
```