hphp/hack/test/typecheck/subtype_collection_interfaces_1.php.exp

   1 File "subtype_collection_interfaces_1.php", line 8, characters 15-30:
   2 Some type arguments violate their constraints (Typing[4323])
   3   File "hackarray.hhi", line 24, characters 49-50:
   4   `Tk` is a constrained type parameter
   5   File "hackarray.hhi", line 24, characters 55-62:
   6   This type constraint is violated
   7   File "hackarray.hhi", line 24, characters 55-62:
   8   Expected `arraykey`
   9   File "subtype_collection_interfaces_1.php", line 8, characters 22-26:
  10   But got `mixed`