Check for recrusive Tvars in Typing_subtype.sub_string

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

option([1]intersect(option(tvar_1)))
No errors