generics - ハック言語: コレクション型のジェネリック

Question

このコードが機能するのはなぜですか?

<?hh // strict
function test(Vector<int> $v):void {
    print_r($v);
}

test(Vector {1, array("I'm an array"), 3});

エラーをスローするべきではありませんか？は何のためにある<int>はずですか？