No error on use of `unsafe_cast`

[hiphop-php.git] / hphp / hack / test / typecheck / array_append_dict_element_property_bad.php

<?hh // strict
// Copyright 2004-present Facebook. All Rights Reserved.

class C {
  public vec<int> $vs = vec[];
}

function test(dict<string, C> $d): void {
  $d['foo']->vs[] = 'bar';
}