Enable coercion to default parameter types
commit47c1e02d18b45225b44da64f5a8095ba625abbc4
authorVassil Mladenov <vmladenov@fb.com>
Fri, 13 Sep 2019 02:24:19 +0000 (12 19:24 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 13 Sep 2019 02:26:24 +0000 (12 19:26 -0700)
tree179e9a4ea62280afdbfa9dbaa0d75d195d99b4e4
parentcb429c13370c0dd7345cc7cb4a1fc2b5c62b3c76
Enable coercion to default parameter types

Summary:
Pretty much the title, enables coercion in the scenario of
```
function f(int $x = SomeConstant as ~int): void {}
```

Reviewed By: kmeht

Differential Revision: D17352237

fbshipit-source-id: 8affead30770fd93f2b55ed334823910ec79041f
hphp/hack/src/typing/typing.ml
hphp/hack/test/typecheck/like_types/like_casts.php.exp