New inference: flatten unions when solving for lower bounds

[hiphop-php.git] / hphp / hack / test / typecheck / new_inference / transitive_simplify_2.php.exp

File "transitive_simplify_2.php", line 19, characters 10-13:
  There are remaining unsolved constraints!: (nothing <: nothing && nothing <: nothing && nothing <: nothing && nothing <: nothing)
No errors