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

   1 File "this_tparam_bad2.php", line 26, characters 12-15:
   2 Invalid argument (Typing[4110])
   3   File "this_tparam_bad2.php", line 14, characters 36-39:
   4   Expected `<expr#1> as Foo`
   5   File "this_tparam_bad2.php", line 26, characters 12-15:
   6     where `<expr#1>` is a reference to this expression
   7   File "this_tparam_bad2.php", line 18, characters 33-35:
   8   But got `Foo`
   9   File "this_tparam_bad2.php", line 18, characters 33-35:
  10   This type argument to `SomethingElse` must match exactly (it is invariant)
  11   File "this_tparam_bad2.php", line 20, characters 15-17:
  12   Since `Foo` is not final
  13   File "this_tparam_bad2.php", line 18, characters 33-35:
  14   this might not be a `Foo`