| commit | 31829b67fd2f6ed4a22c89123b2e6870c1e3e58f | |
| author | Vassil Mladenov <vmladenov@fb.com> | |
| Thu, 18 Feb 2021 19:58:56 +0000 (18 11:58 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 18 Feb 2021 20:08:51 +0000 (18 12:08 -0800) | ||
| tree | ea82b019152263b243d1f5d7fbfe34fb2417b4d1 | treesnapshot (tar.gz zip) |
| parent | 84a4730e1386c4f386285bd98becf96f45d1c5ca | commitdiff |
Add subtyping for vec_or_dict with nonnull
Summary:
```
------------------------------
vec_or_dict<Tk, Tv> <: nonnull
```
Had missed this one
Reviewed By: dneiter
Differential Revision: D26477430
fbshipit-source-id: 6d9282cabc7ce78818d31850281cd419c16367cb
Summary:
```
------------------------------
vec_or_dict<Tk, Tv> <: nonnull
```
Had missed this one
Reviewed By: dneiter
Differential Revision: D26477430
fbshipit-source-id: 6d9282cabc7ce78818d31850281cd419c16367cb
| hphp/hack/src/typing/typing_subtype.ml | diffblobblamehistory | |
| hphp/hack/test/typecheck/array_unification/vec_or_dict_to_nonnull.php | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/array_unification/vec_or_dict_to_nonnull.php.exp | [new file with mode: 0644] | blob |