| commit | c7583b47429cc209f3c18228a28846315d87e532 | |
| author | Vincent Siles <vsiles@fb.com> | |
| Tue, 17 Mar 2020 12:56:25 +0000 (17 05:56 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Tue, 17 Mar 2020 12:59:34 +0000 (17 05:59 -0700) | ||
| tree | a8dd6d37c23ac749d14eb00c049bc9d4fdf6ba21 | treesnapshot (tar.gz zip) |
| parent | f517b04af4a3d807748282d6ee4b269d1f489297 | commitdiff |
suggestion after D20116350
Summary: Inline PU code inside the existing loop.
Reviewed By: CatherineGasnier
Differential Revision: D20486905
fbshipit-source-id: 37eff6bceeee659ec8d554a1ac1b180496ef238a
Summary: Inline PU code inside the existing loop.
Reviewed By: CatherineGasnier
Differential Revision: D20486905
fbshipit-source-id: 37eff6bceeee659ec8d554a1ac1b180496ef238a
| hphp/hack/src/typing/typing_subtype.ml | diffblobblamehistory |