hphp/hack/test/typecheck/new_inference/tconst/tconst_on_generics2.php.exp

   1 File "tconst_on_generics2.php", line 50, characters 18-19:
   2 Invalid argument (Typing[4326])
   3   File "tconst_on_generics2.php", line 10, characters 18-20:
   4   Expected `int`
   5   File "tconst_on_generics2.php", line 40, characters 88-88:
   6     resulting from accessing the type constant 'T'
   7   File "tconst_on_generics2.php", line 49, characters 12-17:
   8     on an object of exactly the class IntBox
   9   File "tconst_on_generics2.php", line 19, characters 18-23:
  10   But got `string`
  11   File "tconst_on_generics2.php", line 40, characters 82-82:
  12     resulting from accessing the type constant 'T'
  13   File "tconst_on_generics2.php", line 48, characters 12-20:
  14     on an object of exactly the class StringBox
  15 File "tconst_on_generics2.php", line 50, characters 18-19:
  16 Invalid argument (Typing[4326])
  17   File "tconst_on_generics2.php", line 19, characters 18-23:
  18   Expected `string`
  19   File "tconst_on_generics2.php", line 40, characters 82-82:
  20     resulting from accessing the type constant 'T'
  21   File "tconst_on_generics2.php", line 48, characters 12-20:
  22     on an object of exactly the class StringBox
  23   File "tconst_on_generics2.php", line 10, characters 18-20:
  24   But got `int`
  25   File "tconst_on_generics2.php", line 40, characters 88-88:
  26     resulting from accessing the type constant 'T'
  27   File "tconst_on_generics2.php", line 49, characters 12-17:
  28     on an object of exactly the class IntBox