Remove restriction on concatenating Tany with a string
commit85a86b3a7e71ab71921ab4c4c3782f8b0437865d
authorJosh Watzman <jwatzman@fb.com>
Wed, 30 Jul 2014 17:36:03 +0000 (30 10:36 -0700)
committerfacebook-github-bot <githubbot@fb.com>
Wed, 30 Jul 2014 18:00:18 +0000 (30 11:00 -0700)
treeae3020c6c378b58d7f3f117c72d83546ccab9766
parent75dfbe19f5db8d65c91e1268cec2108478e734f6
Remove restriction on concatenating Tany with a string

Summary: Looks like an old holdover from when strict mode let you do
basically nothing with `Tany`. It's weird, let's just kill it.

Reviewed By: @elgenie

Differential Revision: D1465255
hphp/hack/src/typing/typing_subtype.ml
hphp/hack/src/utils/errors.ml
hphp/hack/src/utils/errors.mli
hphp/hack/test/typecheck/concat_untyped_with_string.php [new file with mode: 0644]
hphp/hack/test/typecheck/concat_untyped_with_string.php.exp [new file with mode: 0644]