Use interfaces for types in ET type tests

[hiphop-php.git] / hphp / hack / test / typecheck / expression_trees / splice_err5.php.exp

File "splice_err5.php", line 9, characters 17-21:
Invalid argument (Typing[4110])
  File "expr_tree.hhi", line 224, characters 26-35:
  Expected `ExampleInt`
  File "splice_err5.php", line 6, characters 8-20:
  But got `TInfer#1 = ExampleString`
  File "expr_tree.hhi", line 14, characters 33-38:
    via this generic `TInfer`
  File "expr_tree.hhi", line 200, characters 44-49:
    via this generic `TInfer`