| commit | e234de431e62212d15749d7d493c14ed5b6d0dc5 | |
| author | Scott Owens <sowens@fb.com> | |
| Mon, 18 Oct 2021 12:01:43 +0000 (18 05:01 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Mon, 18 Oct 2021 12:03:48 +0000 (18 05:03 -0700) | ||
| tree | 6cda89ac6d5ffff72b1c6127c2901337a480229a | treesnapshot (tar.gz zip) |
| parent | 0d169fab24272fb8661e3b4d607362be3adc8142 | commitdiff |
Fix pessimised vec/dict assignment
Summary:
Pessimised vecs can always store dynamic, it doesn't need to show up in the type parameter. Thus, it `$v : vec<t1>` and `$i : ~t2`, then after `$v[0] = $i`, we should have `$v : t1 | t2`, and not `$v : t1 | ~t2`, as previously.
Also add to the test cases for pessimised vec/dict/Map/Vector.
Reviewed By: vassilmladenov
Differential Revision: D31608494
fbshipit-source-id: 82817933478d3083a53ecb83e9580d5a0c8c84c0
Summary:
Pessimised vecs can always store dynamic, it doesn't need to show up in the type parameter. Thus, it `$v : vec<t1>` and `$i : ~t2`, then after `$v[0] = $i`, we should have `$v : t1 | t2`, and not `$v : t1 | ~t2`, as previously.
Also add to the test cases for pessimised vec/dict/Map/Vector.
Reviewed By: vassilmladenov
Differential Revision: D31608494
fbshipit-source-id: 82817933478d3083a53ecb83e9580d5a0c8c84c0
14 files changed: