| commit | 04b4d0f60b2f37318d0d2a84ebefa1e0fd551fba | |
| author | Mistral Contrastin <mojpc2@meta.com> | |
| Mon, 7 Nov 2022 14:31:48 +0000 (7 06:31 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Mon, 7 Nov 2022 14:31:48 +0000 (7 06:31 -0800) | ||
| tree | 7bc2456686e18d3fbfcd73ddad409c725441bad6 | treesnapshot (tar.gz zip) |
| parent | 5625c300ccbbbd9b9b4e049a475017353ebd5213 | commitdiff |
Demote option mixed/null error to a lint
Summary:
This error is not really an error as both the static and dynamic semantics can handle it well. It is only a redundancy. It breaks the substitution property and is non-monotonic (specialising a generic to `?mixed` and `?null` leads to an error.)
This diff demotes the error to a lint warning.
Reviewed By: vsiles
Differential Revision: D41060133
fbshipit-source-id: 935fa22eeb19334c510972afc7a1ea458ad5973e
Summary:
This error is not really an error as both the static and dynamic semantics can handle it well. It is only a redundancy. It breaks the substitution property and is non-monotonic (specialising a generic to `?mixed` and `?null` leads to an error.)
This diff demotes the error to a lint warning.
Reviewed By: vsiles
Differential Revision: D41060133
fbshipit-source-id: 935fa22eeb19334c510972afc7a1ea458ad5973e
23 files changed: