| commit | f07f943f77da018dfd46aa3379be1944a1df47e7 | |
| author | Vassil Mladenov <vmladenov@fb.com> | |
| Tue, 19 Dec 2017 23:55:10 +0000 (19 15:55 -0800) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Wed, 20 Dec 2017 00:11:58 +0000 (19 16:11 -0800) | ||
| tree | fe8dd1238b20a13c31280722162b8a0633768db0 | treesnapshot (tar.gz zip) |
| parent | 3b5ea154b42a2f2b0b479d8ac30b695794d76844 | commitdiff |
Fixed list difference algorithm
Summary: Changed $$\exists$$ to $$\forall$$ in filter.
Reviewed By: jamesjwu
Differential Revision: D6604685
fbshipit-source-id: 0e4483d806b81190f2a88ba4ff58f4cc42ceff82
Summary: Changed $$\exists$$ to $$\forall$$ in filter.
Reviewed By: jamesjwu
Differential Revision: D6604685
fbshipit-source-id: 0e4483d806b81190f2a88ba4ff58f4cc42ceff82
| hphp/hack/src/typing/typing_taccess.ml | diffblobblamehistory | |
| hphp/hack/test/typecheck/constraints/generic_self_type_access_failure.php | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/constraints/generic_self_type_access_failure.php.exp | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/constraints/generic_self_type_access_failure.php.no_format | [new file with mode: 0644] | blob |