No error on use of `unsafe_cast`
[hiphop-php.git] / hphp / hack / test / typecheck / xhp_attr_spread_inconsistent.php
blob26c2eed8f035324ea155242356713d1743546550
1 <?hh // strict
3 class :foo {
4 attribute string name;
6 public async function genRender(): Awaitable<mixed> {
7 // Another case of unsoundness: we pretend that `this` means the class
8 // where the spread is written, even though it may be a :subfoo.
9 return <bar {...$this} />;
13 class :subfoo extends :foo {
14 attribute string age;
17 class :bar extends XHPTest {
18 attribute int age;