| commit | d46b9c702f8af42a29b8a7feb84ed8d02da9c021 | |
| author | Vassil Mladenov <vmladenov@fb.com> | |
| Wed, 13 Nov 2019 20:27:43 +0000 (13 12:27 -0800) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 13 Nov 2019 20:29:59 +0000 (13 12:29 -0800) | ||
| tree | 7cf7a70a0d9104b1a0f923d39dcd89181aea27aa | treesnapshot (tar.gz zip) |
| parent | ce81f038362870c02f4da5a5634544ef69ecc112 | commitdiff |
Reference local subtype function instead of jumping through Typing_utils reference
Summary: I found this when looking at calling into subtyping from Typing_phase. After this, the only references to Typing_utils.add_constraint come from Typing_phase, everywhere else goes through Typing_subtype.
Reviewed By: CatherineGasnier
Differential Revision: D18463432
fbshipit-source-id: db191e5311725ccd086626203e221b1abf348537
Summary: I found this when looking at calling into subtyping from Typing_phase. After this, the only references to Typing_utils.add_constraint come from Typing_phase, everywhere else goes through Typing_subtype.
Reviewed By: CatherineGasnier
Differential Revision: D18463432
fbshipit-source-id: db191e5311725ccd086626203e221b1abf348537
| hphp/hack/src/typing/typing_subtype.ml | diffblobblamehistory |