/** @type{Array} */ var x = []; x.push(1); // OK x.push("string"); // OK, x is of type Array /** @type{Array.‹number›} */ var y = []; y.push(1); // OK y.push("string"); // Error, string is not assignable to number