| commit | cc7e22c97df20224d023034a37f1a4971963c627 | |
| author | Dwayne Reeves <dreeves@fb.com> | |
| Thu, 15 Oct 2015 14:22:16 +0000 (15 07:22 -0700) | ||
| committer | hhvm-bot <hhvm-bot@fb.com> | |
| Thu, 15 Oct 2015 14:30:28 +0000 (15 07:30 -0700) | ||
| tree | 4c908b09baa8022ddbeb618d9de38fb93490cf48 | treesnapshot (tar.gz zip) |
| parent | cca51ff5d39ee6393cc0b3b1865a4a70a8cd54de | commitdiff |
Check for recrusive Tvars in Typing_subtype.sub_string
Summary: Another place where recursive type vars are not handled properly.
Reviewed By: @int3
Differential Revision: D2544821
fb-gh-sync-id: bf46a1fb0c81cbb7800c4487eed8d4edb75350f7
Summary: Another place where recursive type vars are not handled properly.
Reviewed By: @int3
Differential Revision: D2544821
fb-gh-sync-id: bf46a1fb0c81cbb7800c4487eed8d4edb75350f7
| hphp/hack/src/typing/typing_subtype.ml | diffblobblamehistory | |
| hphp/hack/test/typecheck/substring.php | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/substring.php.exp | [new file with mode: 0644] | blob |