Pessimize explicit function type arguments
commit8196aac230bc0faf5c38426180e98e9246386ce2
authorVassil Mladenov <vmladenov@fb.com>
Wed, 26 Jun 2019 04:09:31 +0000 (25 21:09 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 26 Jun 2019 04:17:36 +0000 (25 21:17 -0700)
tree1a6d8cc831942abb644c22d8654a6b8af14a2877
parent139cfa40212a07151ac176642bc901cf71bf0488
Pessimize explicit function type arguments

Summary: This implements pessimization of explicit type arguments passed to a function. It also clarifies the name in the record and changes the type to a decl ty for a cleaner implementation.

Reviewed By: Matt-Schellhas

Differential Revision: D15959505

fbshipit-source-id: 1576f4a4474b469243f296c9c30116d9809146e3
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_enforceability.ml
hphp/hack/src/typing/typing_phase.ml
hphp/hack/src/typing/typing_phase.mli
hphp/hack/test/typecheck/like_types/pessimization/fun_explicit_targs.php [new file with mode: 0644]
hphp/hack/test/typecheck/like_types/pessimization/fun_explicit_targs.php.exp [new file with mode: 0644]