Untyped variadic function types should not be permitted in strict mode

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

<?hh // strict

class Superclass {}
class Subclass extends Superclass {}

class :foo {
  attribute
    Superclass mysuperclass,
    Subclass mysubclass;
}

function main(): void {
  $x = <foo mysuperclass={new Superclass()} mysubclass={new Subclass()} />;
  $y = <foo mysuperclass={new Subclass()} />;
}