| commit | b10078ba6cbf4d53f72aaafb878fbc20ccdd148a | |
| author | Wilfred Hughes <wilfred@fb.com> | |
| Thu, 1 Sep 2022 00:50:36 +0000 (31 17:50 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 1 Sep 2022 00:50:36 +0000 (31 17:50 -0700) | ||
| tree | 9ca46537d72f2e202f96ee0f12ed67a0349eb5b6 | treesnapshot (tar.gz zip) |
| parent | 7f181086011da4c0f12205643dd2c8da693d922e | commitdiff |
Don't fire the duplicate return lint on positive exit codes
Reviewed By: periodic1236
Differential Revision: D38948922
fbshipit-source-id: 9e667fcc33c9df7a5608b61b87686a790667f16c
Reviewed By: periodic1236
Differential Revision: D38948922
fbshipit-source-id: 9e667fcc33c9df7a5608b61b87686a790667f16c
| hphp/hack/src/lints/linter_branches_return_same_value.ml | diffblobblamehistory | |
| hphp/hack/test/lint/branches_returning_same_success.php | [new file with mode: 0644] | blob |
| hphp/hack/test/lint/branches_returning_same_success.php.exp | [new file with mode: 0644] | blob |