No error on use of `unsafe_cast`

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

<?hh
// Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.

// Error: __EnableMethodTraitDiamond is an experimental feature

trait MyTrait1 {
  public function testFun(): void {}
}
trait MyTrait2 {
  use MyTrait1;
}

<<__EnableMethodTraitDiamond>>
class MyClass {
  use MyTrait1;
  use MyTrait2;
}