hphp/hack/test/typecheck/reified_generics/type_constants_across.php.like_types.exp

   1 File "type_constants_across.php", line 5, characters 22-23:
   2 An abstract type constant is not allowed in this position. (Typing[4352])
   3 File "type_constants_across.php", line 19, characters 23-24:
   4 Tx is abstract here.
   5 File "type_constants_across.php", line 11, characters 10-17:
   6 Invalid "as" expression hint (Typing[4195])
   7 File "type_constants_across.php", line 19, characters 23-24:
   8 The "as" operator cannot be used with the abstract type constant Tx because it is not marked <<__Enforceable>>
   9 File "type_constants_across.php", line 14, characters 10-18:
  10 Invalid "as" expression hint (Typing[4195])
  11 File "type_constants_across.php", line 26, characters 20-26:
  12 The "as" operator cannot be used with a type with an erased generic type argument, except in a like cast when the corresponding type parameter is covariant