No error on use of `unsafe_cast`

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

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

trait T1 {
  public static num $p = 5.4;
}

trait T2 {
  public static num $p = 5.0;
}

trait T3 {
  public static num $p = 4;
}

class C {
  use T1, T2, T3;
}