/** @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