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

   1 File "this_ret_bad2.php", line 35, characters 3-46:
   2   Foo<^<expr#1> as Bar>
   3 File "this_ret_bad2.php", line 41, characters 16-34:
   4 Invalid argument (Typing[4110])
   5 File "this_ret_bad2.php", line 33, characters 15-17:
   6 This is the expression dependent type <expr#1>
   7 File "this_ret_bad2.php", line 41, characters 16-19:
   8   where '<expr#1>' is a reference to this expression
   9 File "this_ret_bad2.php", line 25, characters 27-29:
  10 It is incompatible with an object of type Bar
  11 File "this_ret_bad2.php", line 33, characters 15-17:
  12 Since Bar is not final
  13 File "this_ret_bad2.php", line 25, characters 27-29:
  14 this might not be a Bar
  15 File "this_ret_bad2.php", line 25, characters 27-29:
  16 Considering that this type argument is invariant with respect to Foo