| commit | a5992c8ce6d828af8d9b7d6376acd83b31d1dca7 | |
| author | Hunter Goldstein <hgoldstein@fb.com> | |
| Mon, 16 May 2022 16:50:24 +0000 (16 09:50 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Mon, 16 May 2022 16:50:24 +0000 (16 09:50 -0700) | ||
| tree | 99070047c93ac75d9193778784b3cde5215a74aa | treesnapshot (tar.gz zip) |
| parent | 5833f17a4b5dd8a386196788a757814082748a05 | commitdiff |
Typecheck `ext_string`
Summary: A novel issue here is this is the first case I re-discovered where systemlib types lie (T120001721). All types are implicitly nullable, and there's no way to differentiate a nullable from a non-nullable API.
Reviewed By: edwinsmith
Differential Revision: D36295935
fbshipit-source-id: f881a35b75a795a14eeff883daa3d2c52f99b017
Summary: A novel issue here is this is the first case I re-discovered where systemlib types lie (T120001721). All types are implicitly nullable, and there's no way to differentiate a nullable from a non-nullable API.
Reviewed By: edwinsmith
Differential Revision: D36295935
fbshipit-source-id: f881a35b75a795a14eeff883daa3d2c52f99b017
| hphp/runtime/ext/string/ext_string.hhi | [new file with mode: 0644] | blob |
| hphp/runtime/ext/string/ext_string.php | diffblobblamehistory |